InfinityCosmos
A blueprint for a formalization of infinity-cosmos theory in Lean.
Sort by
Require Order
doc-gen4
v4.21.0-rc3
Document Generator for Lean 4checkdecls
lean4.18.0
Tiny Lean library to check existence of declarationsmathlib
v4.21.0-rc3
The math library of Lean 4