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

3 points | by syumei 4 hours ago