InfinityCosmos
A blueprint for a formalization of infinity-cosmos theory in Lean.
of 10 versions of InfinityCosmos
1-10Sort by
Date
c9f19fc
47472ef
v4.20.0v4.20.016437e9
v4.20.0-rc5v4.20.0-rc5cd84462
v4.20.0-rc4v4.20.0-rc413fa0ca
v4.18.0-rc1v4.18.0-rc14da4459
v4.17.0-rc1v4.17.0-rc196a5375
070accd
4d2c733
v4.16.0-rc1v4.16.0-rc1f6a9b15