GitHub repository: leanprover-community/con-nf
Primary language: Lean
Created: 2022-03-31T05:04:06Z
Description: A formal consistency proof of Quine's set theory New Foundations