Document a bunch of adele-related issues - Githubissues

ImperialCollegeLondon / FLT

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Apache License 2.0

261 stars 48 forks source link

Document a bunch of adele-related issues #244

Closed kbuzzard closed 10 hours ago