InfinityCosmos
A blueprint for a formalization of infinity-cosmos theory in Lean.
of 11 versions of InfinityCosmos
1-11Sort by
Date
7d6155c
09886ae
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