Loading Natural number is not path-equivalent to unit type
Beta
Loading Natural number is not path-equivalent to unit type
Beta
Natural number is not path-equivalent to unit type
14ice1000
-
Language
- Agda (Beta)
-
Language Version
Loading description...
Theorem Proving
Functional Programming