Building a Mini Lean 4 from Scratch: Implementing a Theorem Prover in Rust

(medium.com) by syumei | Nov 3, 2026 | 0 comments on HN