BscThesisFormalisation
Sort by
Require Order
doc-gen4
6aa6a4b
Document Generator for Lean 4checkdecls
lean4.18.0
Tiny Lean library to check existence of declarationsmathlib
f8ab294
The math library of Lean 4
6aa6a4b
lean4.18.0
f8ab294