Loading Sum of squares without multiplying
3 kyu
Loading Sum of squares without multiplying
3 kyu
Sum of squares without multiplying
-
Language
- Coq
-
Language Version
Loading description...
Theorem Proving
Puzzles