Loading Verified Horner's method
6 kyu
Loading Verified Horner's method
6 kyu
Verified Horner's method
50 of 88dramforever
-
Language
- Agda (Beta)
- Coq
- Lean
-
Language Version
Loading description...
Theorem Proving
Functional Programming
Recursion
Mathematics
Algorithms