leanprover-community / con-nfLinks

A formal consistency proof of Quine's set theory New Foundations
73Updated last month

Alternatives and similar repositories for con-nf

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

Sorting: