1 result found Sort:

leanprover-community
con-nf leanprover-community
6
65
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,301 commits to main branch, last one 13 days ago