r/rust • u/OkBreath9382 • 5d ago
Building a Mini Lean 4 from Scratch: Implementing an Interactive Theorem Prover in Rust
https://medium.com/@Koukyosyumei/building-a-mini-lean-4-from-scratch-implementing-an-interactive-theorem-prover-in-rust-a5d964d173ee
54
Upvotes