Hacker News
- The Fermat's Last Theorem Project https://leanprover-community.github.io/blog/posts/FLT-announcement/ 40 comments
Linked pages
- Quanta Magazine https://www.quantamagazine.org/a-team-of-math-proves-a-critical-link-between-addition-and-sets-20231206/ 160 comments
- https://leanprover.zulipchat.com/#narrow/stream/116395-maths/topic/Sphere.20eversion.20project/near/310222035 9 comments
- Mathematics in Lean — Mathematics in Lean 0.1 documentation https://leanprover-community.github.io/mathematics_in_lean/ 0 comments
Related searches:
Search whole site: site:leanprover-community.github.io
Search title: The Fermat's Last Theorem Project | Lean community blog
See how to search.