MathCode — A Frontier Mathematical Coding Agent [https://math-ai-org.github.io/mathcode/] - 2026-08-16 12:48:49 - public:mzimmerm ai, good, lean, math, solve, theorem, todo - 7 | id:1553268 -
Lean (proof assistant) - Wikipedia [https://en.wikipedia.org/wiki/Lean_(proof_assistant)] - 2026-03-24 20:52:26 - public:mzimmerm program, type, proof, math, lean, language, good, best, assist, ai - 10 | id:1538719 - Lean is a language that supports theorem prooving. It has, among other features, dependend data types - types that allow to check state transition
Programming Language and Theorem Prover — Lean [https://lean-lang.org/] - 2024-08-14 13:01:33 - public:mzimmerm lean, program, language - 3 | id:1492757 -
