Ad
5 kyu
Function Algebra
96AvyJIT
Completed Languages:
4 kyu
Specialty Sort
23potzko
Completed Languages:
6 kyu
Verified list maximum
45donaldsebleung
Completed Languages:
4 kyu
SKI-ing in Chicken's style
25solitude
Completed Languages:
6 kyu
Conversion to Negation Normal Form
19malcolmsharpe
Completed Languages:
6 kyu
Converting forall to exists
57Voile
Completed Languages:
6 kyu
New induction scheme on integers
50kckennylau
Completed Languages:
6 kyu
Is nat equal to bool?
97dramforever
Completed Languages:
3 kyu
Naturals to Rationals
26Yushi.py
Completed Languages:
1 kyu
Kleene's theorem on nondeterministic finite automata
8shooqie1
Completed Languages:
2 kyu
Program Verification #8: Balanced Parentheses
16monadius
Completed Languages:
4 kyu
Bribe the Guards of the Crown Jewels
213ecolban
Completed Languages:
6 kyu
Quantum Bogosort
192osuushi
Completed Languages:
6 kyu
Range function
1,358wichu
Completed Languages:
7 kyu
Confusing syntax
54mhimmel
Completed Languages:
Loading more items...