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.
    8e4d1e2
    25 days ago
    Released on June 5, 2025 at 1:12:38PM
    Commit 8e4d1e2 builds on its recent leanprover/lean4:v4.20.1
    v4.20.1
    8.6 MB Build archive size: 8620199 bytes.