Loading Verified binary tree inversion
7 kyu
Loading Verified binary tree inversion
7 kyu
Verified binary tree inversion
-
Language
- Coq
-
Language Version
Loading description...
Theorem Proving
Fundamentals