FormalBook
Formalizing "Proofs from THE BOOK"
Sort by
Require Order
mathlib
0e836d6
The math library of Lean 4checkdecls
11fa569
Tiny Lean library to check existence of declarationsdoc-gen4
7b6a56e
Document Generator for Lean 4
0e836d6
11fa569
7b6a56e