No results found

GroundZero

Ground Zero: Lean 4 HoTT Library
Displaying 1-1 of 1 versions of GroundZero
Sort by
  1. Not a part of any version track.
    7a32006
    10 days ago
    Released on December 10, 2024 at 11:37:29AM
    Commit 7a32006 builds on its old leanprover/lean4:nightly
    nightly
    14.3 MB Build archive size: 14290218 bytes.