1 Links > Tags: language, lean, program Search Intersect Tags: , , (+) Bookmarks from: All Users Your Bookmarks Specific user: Results Programming Language and Theorem Prover — Lean [https://lean-lang.org/] - 2024-08-14 20:01:33 - public:mzimmerm language, lean, program - 3 | id:1492757 - Follow Tagslanguage - Please Log In To follow this tag lean - Please Log In To follow this tag program - Please Log In To follow this tag Export:JSONXMLRSS
Programming Language and Theorem Prover — Lean [https://lean-lang.org/] - 2024-08-14 20:01:33 - public:mzimmerm language, lean, program - 3 | id:1492757 -
