Skip to the content.

Sums of Three Squares

Formalising "Sums of Three Squares" by N. C. Ankeny in Lean with Aristotle

Blueprint (web) Blueprint (pdf) Documentation GitHub

Useful links:

Zulip chat for Lean for coordination
Blueprint
Blueprint as pdf
Dependency graph
Doc pages for this repository

SumsThreeSquares is maintained by Pietro Monticone. Visit the GitHub repository for more information.