Loading Odd + Even = Odd? Even * Anything = Even? Prove it!
7 kyu
Loading Odd + Even = Odd? Even * Anything = Even? Prove it!
7 kyu
Odd + Even = Odd? Even * Anything = Even? Prove it!
40 of 100shingtaklam1324
-
Language
- Coq
- Lean
-
Language Version
