txt.sour.is @<lobste_rs https://feeds.twtxt.net/lobste_rs/twtxt.txt> "**A Blueprint for Fermat’s Last Theorem** This is a project to formalize a modern proof of FLT in Lean. See also: https://github.com/ImperialC ..."

Login

Join

feeds.twtxt.net

Fri, Apr 4 19:47 (13w ago)

A Blueprint for Fermat’s Last Theorem
This is a project to formalize a modern proof of FLT in Lean.
See also: https://github.com/ImperialCollegeLondon/FLT

Comments ⌘ Read more

⤋ Read More

Participate

Login to join in on this yarn.