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!
171pier-bezuhoff
Completed Languages:
2 kyu
String formatting, type-safely
61ice1000
Completed Languages:
1 kyu
Modular operations on Finite data type
67solitude
Completed Languages:
2 kyu
Evaluate mathematical expression
9,635ankr
Completed Languages:
5 kyu
List concatenation is injective? Prove it!
65lwoo1999
Completed Languages:
5 kyu
DNE equivalent to PEM? Prove It!
213yuxuanchiadm
Completed Languages:
6 kyu
A+A=B+B so A=B? Prove it!
262ice1000
Completed Languages:
1 kyu
A*B=B*A? Prove it!
218ice1000
Completed Languages:
6 kyu
Find the odd int
302,839rbuckley
Completed Languages:
1 kyu
Sliding Puzzle Solver
1,076docgunthrop
Completed Languages:
1 kyu
Mine Sweeper
1,256myjinxin2015
Completed Languages:
1 kyu
Regular Expression for Binary Numbers Divisible by n
1,188hufftheweevil
Completed Languages:
1 kyu
7×7 Skyscrapers
2,015JohanWiltink
Completed Languages:
Loading more items...