Loading But wait! How to prove type is not equal?
Draft
Loading But wait! How to prove type is not equal?
Draft
But wait! How to prove type is not equal?
-
Language
- Agda (Beta)
-
Language Version
Loading description...
Fundamentals
Theorem Proving