Loading A+B=B+A? Prove it in using DataKinds!

Beta

Loading A+B=B+A? Prove it in using DataKinds!

Loading description...
Theorem Proving
Functional Programming
Algorithms