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

 (medium.com)

3 points | by syumei 4 hours ago ago

No comments yet.