Lagrange four squares theorem: Any natural number can be written as a sum of four squares.
generated from Eloitor/Lean-template
-
Notifications
You must be signed in to change notification settings - Fork 0
Proving the four squares theorem using modular forms. Assuming intermediate propositions, ideally as little as possible.
License
Eloitor/four-squares-modular-forms
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Proving the four squares theorem using modular forms. Assuming intermediate propositions, ideally as little as possible.
Resources
License
Stars
Watchers
Forks
Releases
No releases published