Post Awpz0EJVg3ObPqMfB2 by soaproot@sfba.social
 (DIR) More posts by soaproot@sfba.social
 (DIR) Post #AwmWYe4Gwx7gzZPqIC by hn50@social.lansky.name
       2025-08-03T04:35:06Z
       
       0 likes, 0 repeats
       
       Ongoing Lean formalisation of the proof of Fermat's Last TheoremLink: https://github.com/ImperialCollegeLondon/FLTDiscussion: https://news.ycombinator.com/item?id=44745727
       
 (DIR) Post #Awpz0EJVg3ObPqMfB2 by soaproot@sfba.social
       2025-08-04T20:37:58Z
       
       0 likes, 0 repeats
       
       @hn50 If you are interested in this work you'll likely want to follow @xenaproject and/or https://bsky.app/profile/xenaproject.bsky.social