☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (2)
Dependencies (15)
Dependents (3)
Foundation
Formalization of Mathematical Logic
Displaying
1-2
of
2
versions of
Foundation
Sort by
Date
Not a part of any version track.
e62241b
7 hours ago
Released on September 19, 2026 at 1:18:39PM
Commit e62241b builds on its recent leanprover/lean4:v4.34.0
v4.34.0
77.1 MB
Build archive size: 77052024 bytes.
Not a part of any version track.
653e94f
v1
12 days ago
Released on September 7, 2026 at 9:37:13AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.33.1
1
20