Ad
3 kyu
Tear me apart and merge the pieces together
38ice1000
Completed Languages:
2 kyu
Nat in the mirror
33ice1000
Completed Languages:
2 kyu
Count them all!
172pier-bezuhoff
Completed Languages:
2 kyu
String formatting, type-safely
62ice1000
Completed Languages:
1 kyu
Modular operations on Finite data type
68solitude
Completed Languages:
2 kyu
Evaluate mathematical expression
9,907ankr
Completed Languages:
5 kyu
List concatenation is injective? Prove it!
65lwoo1999
Completed Languages:
5 kyu
DNE equivalent to PEM? Prove It!
215yuxuanchiadm
Completed Languages:
6 kyu
A+A=B+B so A=B? Prove it!
265ice1000
Completed Languages:
1 kyu
A*B=B*A? Prove it!
220ice1000
Completed Languages:
6 kyu
Find the odd int
313,220rbuckley
Completed Languages:
1 kyu
Sliding Puzzle Solver
1,089docgunthrop
Completed Languages:
1 kyu
Mine Sweeper
1,282myjinxin2015
Completed Languages:
1 kyu
Regular Expression for Binary Numbers Divisible by n
1,231hufftheweevil
Completed Languages:
1 kyu
7×7 Skyscrapers
2,096JohanWiltink
Completed Languages:
Loading more items...