forked from ImperialCollegeLondon/FLT
-
Notifications
You must be signed in to change notification settings - Fork 0
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
License
mo271/FLT
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
About
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- TeX 56.4%
- Lean 41.2%
- Python 1.4%
- Other 1.0%