feat: progress on computing modular characters in concrete types - Githubissues

ImperialCollegeLondon / FLT

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

Apache License 2.0

262 stars 48 forks source link

feat: progress on computing modular characters in concrete types #223

Open YaelDillies opened 1 week ago