Reservoir
No results found
All Packages
ConNF
A formal consistency proof of Quine's set theory New Foundations
Readme
Versions (7)
Dependencies (13)
Displaying
1-7
of
7
versions of
ConNF
Sort by
Date
Not a part of any version track.
59b6839
17 days ago
Released on December 8, 2024 at 10:30:41PM
Commit 59b6839 builds on its recent leanprover/lean4:v4.15.0-rc1
v4.15.0-rc1
12.7 MB
Build archive size: 12651316 bytes.
Not a part of any version track.
dc51a7e
v0.6
23 days ago
Released on December 2, 2024 at 5:49:54PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.15.0-rc1
Not a part of any version track.
7b5a322
v0.5
4 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
8 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
9 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
9 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