- Computers and Mathematics Kevin Buzzard Wed 01 January 2020
- Two Tools for Formalizing Mathematical Proofs Robert Y. Lewis Wed 01 January 2020
- Automation and Computation in the Lean Theorem Prover Robert Y. Lewis Leonardo de Moura Wed 01 January 2020
- A Metaprogramming Framework for Formal Verification Gabriel Ebner Sebastian Ullrich Jared Roesch Jeremy Avigad Leonardo de Moura Wed 01 January 2020
- The Lean mathematical library The mathlib Community Tue 29 October 2019
- Theorem Proving in Lean Jeremy Avigad Leonardo de Moura Soonho Kong Wed 20 March 2019
Library Size: 13G (6 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
