lightwardfoam

geometry of hospitality
Displaying 1-1 of 1 versions of foam
Sort by
  1. Not a part of any version track.
    46c1c4f
    21 hours ago
    Released on August 13, 2026 at 8:48:49PM
    Commit 46c1c4f builds on its old leanprover/lean4:v4.31.0
    v4.31.0
    4.5 MB Build archive size: 4472556 bytes.