No results found

ConNF

A formal consistency proof of Quine's set theory New Foundations
Displaying 1-7 of 7 versions of ConNF
Sort by
  1. Not a part of any version track.
    1bf3c6e
    12 days ago
    Released on January 8, 2025 at 8:25:17PM
    Commit 1bf3c6e builds on its recent leanprover/lean4:v4.16.0-rc1
    v4.16.0-rc1
    13.6 MB Build archive size: 13560316 bytes.
  2. Not a part of any version track.
    dc51a7e
    v0.6
    2 months 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
  3. Not a part of any version track.
    7b5a322
    v0.5
    5 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
  4. Not a part of any version track.
    b127017
    v0.4
    9 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
  5. Not a part of any version track.
    f60ed6f
    v0.3
    10 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
  6. Not a part of any version track.
    a629210
    v0.2
    10 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
  7. Not a part of any version track.
    50c2b5f
    v0.1
    a year ago
    Released on August 16, 2023 at 5:22:03PM