Building a Mini Lean 4 from Scratch: Implementing a Theorem Prover in Rust Posted by syumei on Tuesday November 03, 2026 @10:04AM from the medium.com dept. https://medium.com/@Koukyosyumei/building-a-mini-lean-4-from-scratch-implementing-an-interactive-theorem-prover-in-rust-a5d964d173ee ( no comments | on HN )
There are no comments yet.