Ad
3 kyu
Tear me apart and merge the pieces together
38ice1000
Completed Languages:
2 kyu
Nat in the mirror
32ice1000
Completed Languages:
2 kyu
Count them all!
162pier-bezuhoff
Completed Languages:
2 kyu
String formatting, type-safely
58ice1000
Completed Languages:
1 kyu
Modular operations on Finite data type
66solitude
Completed Languages:
2 kyu
Evaluate mathematical expression
9,028ankr
Completed Languages:
5 kyu
List concatenation is injective? Prove it!
64lwoo1999
Completed Languages:
5 kyu
DNE equivalent to PEM? Prove It!
208yuxuanchiadm
Completed Languages:
6 kyu
A+A=B+B so A=B? Prove it!
249ice1000
Completed Languages:
1 kyu
A*B=B*A? Prove it!
204ice1000
Completed Languages:
6 kyu
Find the odd int
282,725rbuckley
Completed Languages:
1 kyu
Sliding Puzzle Solver
1,040docgunthrop
Completed Languages:
1 kyu
Mine Sweeper
1,201myjinxin2015
Completed Languages:
1 kyu
Regular Expression for Binary Numbers Divisible by n
1,091hufftheweevil
Completed Languages:
1 kyu
7×7 Skyscrapers
1,878JohanWiltink
Completed Languages:
Loading more items...