ConNF
A formal consistency proof of Quine's set theory New Foundations
of 6 versions of ConNF
1-6Sort by
Date
a2b708e
v4.12.07b5a322
v0.5v4.10.0-rc2b127017
v0.4v4.7.0f60ed6f
v0.3v4.7.0-rc2a629210
v0.2v4.7.0-rc250c2b5f
v0.1
a2b708e
7b5a322
b127017
f60ed6f
a629210
50c2b5f