Loading Ltac practice: The tarai function
4 kyu
Loading Ltac practice: The tarai function
4 kyu
Ltac practice: The tarai function
-
Language
- Coq
-
Language Version
Loading description...
Theorem Proving
Mathematics
Puzzles