Loading Verified leftpad (Theorem prover showdown #1)
6 kyu
Loading Verified leftpad (Theorem prover showdown #1)
6 kyu
Verified leftpad (Theorem prover showdown #1)
42 of 48dramforever
-
Language
- Coq
- Lean
-
Language Version
