| ▲ | Fermat's Last Theorem in Lean 4(github.com) | |
| 11 points by aaraujo002 2 hours ago | 3 comments | ||
| ▲ | rawling an hour ago | parent | next [-] | |
Front-page discussion: https://news.ycombinator.com/item?id=49568506 | ||
| ▲ | ks2048 26 minutes ago | parent | prev | next [-] | |
Now we have what Fermat tried to write in the margin: aa2d8b34692b16c70f699536de0d8e75b9a3e9ef | ||
| ▲ | DoctorOetker 2 hours ago | parent | prev [-] | |
Mine is much shorter though... | ||