The Lean Theorem Prover: Design, Evolution, and Impact

(leodemoura.github.io)

2 points | by tosh 7 hours ago ago

No comments yet.