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
63 of 137kckennylau
-
Language
- Agda (Beta)
- Coq
- Lean
-
Language Version
