Loading Verified subsequence matching
5 kyu
Loading Verified subsequence matching
5 kyu
Verified subsequence matching
14 of 43dramforever
-
Language
- Agda (Beta)
- Coq
-
Language Version
Loading description...
Theorem Proving
Algorithms