Hacker News
- New Foundations is consistent – a difficult mathematical proof proved using Lean https://leanprover-community.github.io/con-nf/ 149 comments
Lobsters
- lean theorem prover used to show that New Foundations set theory is consistent relative to ZFC https://leanprover-community.github.io/con-nf/ 26 comments formalmethods
- New Foundations is consistent – a difficult mathematical proof proved using Lean https://leanprover-community.github.io/con-nf/ 8 comments programming
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:leanprover-community.github.io
Search title: New Foundations is consistent | Consistency of New Foundations
See how to search.