Loading Verified unique elements (Theorem prover showdown #2)
6 kyu
Loading Verified unique elements (Theorem prover showdown #2)
6 kyu
Verified unique elements (Theorem prover showdown #2)
-
Language
- Coq
-
Language Version
