Loading A+B=B+A? Prove it in using DataKinds!
Beta
Loading A+B=B+A? Prove it in using DataKinds!
Beta
A+B=B+A? Prove it in using DataKinds!
14ice1000
-
Language
- Haskell
-
Language Version
Loading description...
Theorem Proving
Functional Programming
Algorithms