6 kyu
Verified list maximum
45donaldsebleung
Completed Languages:
Beta
Linear Feedback Shift Registers
6donaldsebleung
Completed Languages:
2 kyu
Program Verification #8: Balanced Parentheses
18monadius
Completed Languages:
5 kyu
But WHY is LEM unprovable?
24dramforever
Completed Languages:
Beta
SKI-ing in Chicken's style 2: Church arithmetic and recursive functions
10solitude
Completed Languages:
4 kyu
SKI-ing in Chicken's style
25solitude
Completed Languages:
Beta
The Church-Rosser Theorem
8donaldsebleung
Completed Languages:
5 kyu
Finding the maximal program
29donaldsebleung
Completed Languages:
7 kyu
A random fact about filtering
126donaldsebleung
Completed Languages:
7 kyu
Google interview
318ice1000
Completed Languages:
6 kyu
Magic is Commutative
142Axure
Completed Languages:
6 kyu
[Code golf] f (f (f b)) = f b
23monadius
Completed Languages:
6 kyu
[Code golf] negb is involutive
29monadius
Completed Languages:
7 kyu
Two definitions of Fibonacci words
68lambda-fairy
Completed Languages:
7 kyu
Empty Place in a Binary Tree
111Brethland
Completed Languages:
Loading more items...