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!
168pier-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,508ankr
Completed Languages:
5 kyu
List concatenation is injective? Prove it!
65lwoo1999
Completed Languages:
5 kyu
DNE equivalent to PEM? Prove It!
212yuxuanchiadm
Completed Languages:
6 kyu
A+A=B+B so A=B? Prove it!
259ice1000
Completed Languages:
1 kyu
A*B=B*A? Prove it!
212ice1000
Completed Languages:
6 kyu
Find the odd int
297,864rbuckley
Completed Languages:
1 kyu
Sliding Puzzle Solver
1,069docgunthrop
Completed Languages:
1 kyu
Mine Sweeper
1,247myjinxin2015
Completed Languages:
1 kyu
Regular Expression for Binary Numbers Divisible by n
1,171hufftheweevil
Completed Languages:
1 kyu
7×7 Skyscrapers
1,966JohanWiltink
Completed Languages:
Loading more items...