1 result found Sort:

leanprover-community
con-nf leanprover-community
6
66
apache-2.0
17
A formal consistency proof of Quine's set theory New Foundations
lean4 set-theory new-foundations
Created 2022-03-31
1,255 commits to main branch, last one a day ago