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!
65 of 99shingtaklam1324
-
Language
- Coq
- Lean
-
Language Version
