☰
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.
da94cda
4 hours ago
Released on September 15, 2026 at 12:03:36PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.33.1
Not a part of any version track.
653e94f
v1
8 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