Loading...
Train NowChoose Language...
- Coq
- Agda (Beta)
- Lean
Start training on this collection. Each time you skip or complete a kata you will be taken to the next kata in the series. Once you cycle through the items in the collection you will revert back to your normal training routine.
DescriptionEdit
A series of 'Verified' kata, where a classical algorithm problem is posed, the specification is formalized, the algorithm is implemented, and you're asked to prove the algorithm's correctness.
Status:Testing & feedback needed
Estimated Rank:3 kyu
3 kyu
Theorem Proving
Algorithms
Theorem Proving
Functional Programming
Recursion
Mathematics
Algorithms
Status:Testing & feedback needed
Estimated Rank:4 kyu
4 kyu
Theorem Proving
Fundamentals