Reservoir
No results found
All Packages
ConNF
A formal consistency proof of Quine's set theory New Foundations
Readme
Versions (6)
Dependencies (12)
Displaying
1-6
of
6
versions of
ConNF
Sort by
Date
Not a part of any version track.
a2b708e
15 days ago
Released on October 2, 2024 at 10:07:24PM
Commit a2b708e builds on its recent leanprover/lean4:v4.12.0
v4.12.0
6.1 MB
Build archive size: 6143662 bytes.
Not a part of any version track.
7b5a322
v0.5
2 months ago
Released on August 19, 2024 at 1:47:04PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.10.0-rc2
Not a part of any version track.
b127017
v0.4
6 months ago
Released on April 11, 2024 at 12:27:12PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.7.0
Not a part of any version track.
f60ed6f
v0.3
7 months ago
Released on March 29, 2024 at 2:46:05PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.7.0-rc2
Not a part of any version track.
a629210
v0.2
7 months ago
Released on March 16, 2024 at 4:10:29PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.7.0-rc2
Not a part of any version track.
50c2b5f
v0.1
a year ago
Released on August 16, 2023 at 5:22:03PM
1
20