Ad
Ad
23 Kata Found
Beta
Linear Feedback Shift Registers
6donaldsebleung
Status:Testing & feedback needed
Estimated Rank:
4 kyu
Cryptography
Theorem Proving
Puzzles
Beta
The Church-Rosser Theorem
8donaldsebleung
Status:Ranking feedback needed
Estimated Rank:
3 kyu
Theorem Proving
Puzzles
Beta
Verified Sorting Algorithms - Mergesort
9donaldsebleung
Status:Ranking feedback needed
Estimated Rank:
3 kyu
Theorem Proving
Puzzles
Beta
Verified Sorting Algorithms - Quicksort
7donaldsebleung
Status:Testing & feedback needed
Estimated Rank:
3 kyu
Theorem Proving
Puzzles
Beta
Subtyping Mutable References
5donaldsebleung
Status:Testing & feedback needed
Estimated Rank:
1 kyu
Theorem Proving
Puzzles
Beta
Finding the maximal program, revamped
6donaldsebleung
Status:Testing & feedback needed
Estimated Rank:
2 kyu
Theorem Proving
Puzzles