Loading Evaluating the type safety of a toy language
4 kyu
Loading Evaluating the type safety of a toy language
4 kyu
Evaluating the type safety of a toy language
12 of 32donaldsebleung
-
Language
- Coq
- Lean
-
Language Version
Loading description...
Theorem Proving
Puzzles