## ConNF

A formal consistency proof of Quine's set theory New Foundations

**1-6**of

**6**versions of

**ConNF**

Sort by

Date

`a2b708e`

v4.12.0`7b5a322`

v0.5v4.10.0-rc2`b127017`

v0.4v4.7.0`f60ed6f`

v0.3v4.7.0-rc2`a629210`

v0.2v4.7.0-rc2`50c2b5f`

v0.1

A formal consistency proof of Quine's set theory New Foundations

Sort by

Date

`a2b708e`

v4.12.0`7b5a322`

v0.5v4.10.0-rc2`b127017`

v0.4v4.7.0`f60ed6f`

v0.3v4.7.0-rc2`a629210`

v0.2v4.7.0-rc2`50c2b5f`

v0.1