GitHub repository: matematiflo/SumsOfSquares
Primary language: Lean
Created: 2023-11-03T13:06:26Z
Description: Summing squares in Lean