No results found

InfinityCosmos

A blueprint for a formalization of infinity-cosmos theory in Lean.
Displaying 1-2 of 2 versions of InfinityCosmos
Sort by
  1. 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.
  2. 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.