The Lean Theorem Prover: Design, Evolution, and Impact
By tosh · 2026-07-27 · 1 points · 0 comments
https://leodemoura.github.io/static/floc26/
By tosh · 1 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews