Geeks
matematiflo
/
SumsOfSquares
Summing squares in Lean
Primary Language
Lean
Apache License 2.0
Apache-2.0
SumsOfSquares Home Page
SumsOfSquares GitHub
Markdown
Readme
0
Issues
2
Stargazers
1
Watcher
Stargazers
Lizn-zn
Formal-Mathematics-Lab