bonnAnalysis
repository for the collaborative formalization seminar in Analysis in Bonn
Sort by
Require Order
mathlib
b387c54
The math library of Lean 4checkdecls
21a36f3
Tiny Lean library to check existence of declarationsdoc-gen4
194403b
Document Generator for Lean 4