Loading Theorem proving hello world: prove a+0=a and 0+a=a
8 kyu
Loading Theorem proving hello world: prove a+0=a and 0+a=a
8 kyu
Theorem proving hello world: prove a+0=a and 0+a=a
166 of 382ice1000
-
Language
- Agda (Beta)
- Coq
- Lean
-
Language Version
