Hacker News new | ask | show | jobs
The Lean Theorem Prover: Design, Evolution, and Impact (leodemoura.github.io)
2 points by tosh 5 days ago