Loading Two paths in the forest
1 kyu
Loading Two paths in the forest
1 kyu
Two paths in the forest
33lwoo1999
-
Language
- Agda (Beta)
-
Language Version
Loading description...
Theorem Proving
Fundamentals