Loading (A+B)+C=A+(B+C)? Prove it!
4 kyu
Loading (A+B)+C=A+(B+C)? Prove it!
4 kyu
(A+B)+C=A+(B+C)? Prove it!
273 of 274ice1000
-
Language
- Haskell
-
Language Version
Loading description...
Theorem Proving
Mathematics
Fundamentals