leanprover-community / con-nfLinks

A formal consistency proof of Quine's set theory New Foundations
70Updated this week

Alternatives and similar repositories for con-nf

Users that are interested in con-nf are comparing it to the libraries listed below

Sorting: