6 kyu
Is nat equal to bool?
97dramforever
Completed Languages:
6 kyu
New induction scheme on integers
50kckennylau
Completed Languages:
4 kyu
Introduction to bijection, cardinality, and infinite sets
156solitude
Completed Languages:
4 kyu
Total increasing or decreasing numbers up to a power of 10
1,993GiacomoSorbi
Completed Languages:
3 kyu
The Little Typer: Values, Functions and Currying
63davidmaamoaix
Completed Languages:
6 kyu
Lock and Key
226wthit56
Completed Languages:
3 kyu
Screen Locking Patterns
4,902rsalgado
Completed Languages:
7 kyu
Resolving the Goldbach conjecture! (Part 1)
47b-mehta
Completed Languages:
6 kyu
Program Verification #1: The sum of an arithmetic progression
212monadius
Completed Languages:
6 kyu
Fibonacci on roids
519GiacomoSorbi
Completed Languages:
4 kyu
Range Extraction
59,506jhoffner
Completed Languages:
6 kyu
Program Verification #3: Tail-recursive sum
202monadius
Completed Languages:
6 kyu
Squared triangular numbers
74Voile
Completed Languages:
6 kyu
Real Fibonacci
54monadius
Completed Languages:
5 kyu
Program Verification #5: The sum of a geometric progression
48monadius
Completed Languages:
Loading more items...