Loading A+A=B+B so A=B? Prove it!
6 kyu
Loading A+A=B+B so A=B? Prove it!
6 kyu
A+A=B+B so A=B? Prove it!
149 of 257ice1000
-
Language
- Agda (Beta)
- Coq
- Idris (Beta)
-
Language Version
Loading description...
Mathematics
Theorem Proving
Algorithms