Loading Remember all the guardedness and termination, and let it sized
6 kyu
Loading Remember all the guardedness and termination, and let it sized
6 kyu
Remember all the guardedness and termination, and let it sized
19ice1000
-
Language
- Agda (Beta)
-
Language Version
Loading description...
Theorem Proving
Algorithms