leanprover-community/con-nf
A formal consistency proof of Quine's set theory New Foundations
LeanApache-2.0
Watchers
- adamtopaz
- akash28121992
- alreadydoneHeidelberg / Shenzhen
- bryangingechen
- cipher1024Bedrock Systems
- DavidMichaelRoberts
- digama0Chalmers University of Technology
- eemailme
- Gorjid
- jcommelin—
- jhcloos
- kmillSanta Cruz, California
- peterlefanulumsdaineStockholm University
- rwbarton
- seanpm2001Self-employed; looking for tips
- urkudHarmonic AI
- YaelDilliesStockholm Universitet