Reservoir
No results found
All Packages
InfinityCosmos
A blueprint for a formalization of infinity-cosmos theory in Lean.
Readme
Versions (2)
Dependencies (14)
Displaying
1-2
of
2
versions of
InfinityCosmos
Sort by
Date
Not a part of any version track.
9aaaa34
10 days ago
Released on December 17, 2024 at 10:14:43PM
Commit 9aaaa34 builds on its recent leanprover/lean4:v4.14.0-rc3
v4.14.0-rc3
3.5 MB
Build archive size: 3547028 bytes.
Not a part of any version track.
f6a9b15
v4.14.0-rc3
a month ago
Released on December 1, 2024 at 1:00:59PM
Commit f6a9b15 builds on its recent leanprover/lean4:v4.14.0-rc3
v4.14.0-rc3
3.5 MB
Build archive size: 3458595 bytes.
1
20