Loading N + 1 = suc N? Prove it about h-sets!
Beta
Loading N + 1 = suc N? Prove it about h-sets!
Beta
N + 1 = suc N? Prove it about h-sets!
-
Language
- Agda (Beta)
-
Language Version
Loading description...
Theorem Proving
Functional Programming