☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (12)
OSforGFF
A Lean 4 formalization of the Gaussian Free Field in d=4 and proof of the Osterwalder-Schrader axioms
Displaying
1-1
of
1
versions of
OSforGFF
Sort by
Date
Not a part of any version track.
60ab679
12 days ago
Released on June 5, 2026 at 10:40:50PM
Commit 60ab679 builds on its old leanprover/lean4:v4.29.0
v4.29.0
15.1 MB
Build archive size: 15051081 bytes.
1
20