Ad
Ad
29 Kata Found
Beta
Verified Sums of Parts
13donaldsebleung
Status:Ranking feedback needed
Estimated Rank:
7 kyu
Theorem Proving
Fundamentals
Performance
Algorithms
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
6donaldsebleung
Status:Testing & feedback needed
Estimated Rank:
2 kyu
Theorem Proving
Algorithms