The work on n = 3 has been ported to https://github.com/leanprover-community/flt-regular.
Ruben-VandeVelde/flt
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
The work on n = 3 has been ported to https://github.com/leanprover-community/flt-regular.