Hacker News
- New Foundations is consistent – a difficult mathematical proof proved using Lean https://leanprover-community.github.io/con-nf/ 162 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