Ad
Ad
29 Kata Found
Beta
Verified cartesian tree
4dramforever
Status:Testing & feedback needed
Estimated Rank:
3 kyu
Theorem Proving
Algorithms
Beta
Making things complex for fun!
6bredor
Status:Awaiting approval
Estimated Rank:
5 kyu
Theorem Proving
Algorithms
Beta
Efficient Fibonacci: proof and extraction
5lasydler
Status:Testing & feedback needed
Estimated Rank:
4 kyu
Theorem Proving
Algorithms
Beta
Verified Majority Element
7donaldsebleung
Status:Testing & feedback needed
Estimated Rank:
2 kyu
Theorem Proving
Algorithms