lightwardfoam

geometry of hospitality
Displaying 1-1 of 1 versions of foam
Sort by
  1. Not a part of any version track.
    5e1ea9f
    an hour ago
    Released on July 11, 2026 at 2:32:50PM
    Commit 5e1ea9f builds on its recent leanprover/lean4:v4.31.0
    v4.31.0
    3.1 MB Build archive size: 3121798 bytes.