Loading Program Verification #3: Tail-recursive sum
6 kyu
Loading Program Verification #3: Tail-recursive sum
6 kyu
Program Verification #3: Tail-recursive sum
26 of 202monadius
-
Language
- Agda (Beta)
- Coq
- Idris (Beta)
- Lean
-
Language Version
Loading description...
Theorem Proving
Fundamentals