Programming Language and Theorem Prover — Lean [https://lean-lang.org/] - 2024-08-14 20:01:33 - public:mzimmerm language, lean, program - 3 | id:1492757 -
