leanprover-community/con-nf
A formal consistency proof of Quine's set theory New Foundations
LeanApache-2.0
Stargazers
- abarhub
- akash28121992
- alreadydoneHeidelberg / Shenzhen
- amm299
- anandijainSan Jose CA, Boston MA
- arindas@claritas-healthtech
- cdcme
- chabulhwiSemmalgil
- creatorrr@julep-ai
- denisfitz57
- ehonda
- EtherTyperPrivate Proxy
- forked-from-1kasperMilky Way, Solar System, Earth
- GrahamStrickland@ankerdata
- huynhtrankhanh@coq-community
- iehalityTohoku University
- kejaceFOAM
- kinddevilAA
- m3hgu5t4
- maxwell-thum
- omasanoriJapan, or anywhere else
- ppdmsInformatics, AUEB
- ramonfmirLondon
- remimimimimiUnikie
- rozaNice, France
- seanpm2001Self-employed; looking for tips
- shhyouTaipei, Taiwan
- shingtaklam1324University of Cambridge
- SnO2WMaNチルノのパーフェクトさんすう教室
- tkersey@thisisartium
- Trebor-HuangInternal cat of a doughnut
- vihdzpGuanajuato, Mexico
- wrrnhttn
- YaelDilliesStockholm Universitet
- YiqiXu
- zeramorphicCambridge, UK