Loading A+A=B+B so A=B? Prove it in Haskell!
4 kyu
Loading A+A=B+B so A=B? Prove it in Haskell!
4 kyu
A+A=B+B so A=B? Prove it in Haskell!
47ice1000
-
Language
- Haskell
-
Language Version
Loading description...
Theorem Proving
Functional Programming
Fundamentals