https://github.com/ImperialCollegeLondon/FLT/blob/main/GENERAL.md "It will not b...

		jibal 9 months ago \| parent \| context \| favorite \| on: Project to formalise a proof of Fermat’s Last Theo... https://github.com/ImperialCollegeLondon/FLT/blob/main/GENER... "It will not be the original Wiles/Taylor-Wiles proof, but rather a "newer" proof which takes into account more recent developments due to Khare-Wintenberger, Kisin and many other people."