The Lean Theorem Prover: Design, Evolution, and Impact

https://leodemoura.github.io/static/floc26/

Comments