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
165 of 379ice1000
-
Language
- Agda (Beta)
- Coq
- Lean
-
Language Version
