Loading This square is perfect
7 kyu
Loading This square is perfect
7 kyu
This square is perfect
32 of 260lwoo1999
-
Language
- Agda (Beta)
- Coq
- Idris (Beta)
- Lean
-
Language Version
Loading description...
Theorem Proving
Fundamentals