Loading Identity type: Prove H from J
Beta
Loading Identity type: Prove H from J
Beta
Identity type: Prove H from J
-
Language
- Agda (Beta)
-
Language Version
Loading description...
Theorem Proving
Logic
Fundamentals