Loading Multiples of 3, you say?
5 kyu
Loading Multiples of 3, you say?
5 kyu
Multiples of 3, you say?
29 of 115donaldsebleung
-
Language
- Agda (Beta)
- Coq
- Idris (Beta)
- Lean
-
Language Version
Loading description...
Theorem Proving
Puzzles