Loading Unordered pair #3: you can (not) subtract
Beta
Loading Unordered pair #3: you can (not) subtract
Beta
Unordered pair #3: you can (not) subtract
-
Language
- Agda (Beta)
-
Language Version
Loading description...
Theorem Proving
Functional Programming