Topic

julia

1 piece on this topic. All topics

Theorem Proving Programming a Mini-Lean in Julia’s Type System Guillermo Angeris builds a working theorem prover in 61 lines of Julia. A tiny trusted kernel, six axioms, and the compiler does the rest. Here is the construction. Mar 19, 2026 · 18 min