Loading A*B=B*A? Prove it!
1 kyu
Loading A*B=B*A? Prove it!
1 kyu
A*B=B*A? Prove it!
213ice1000
-
Language
- Haskell
-
Language Version
Loading description...
Theorem Proving
Mathematics
Fundamentals