Loading Show that there are two types that are unequal
7 kyu
Loading Show that there are two types that are unequal
7 kyu
Show that there are two types that are unequal
56 of 135kckennylau
-
Language
- Agda (Beta)
- Coq
- Lean
-
Language Version
