Ad
8 kyu
Theorem proving hello world: prove a+0=a and 0+a=a
375ice1000
Completed Languages:
7 kyu
Vowel Count
404,948jayeshcp
Completed Languages:
7 kyu
BAD Hash - String to Int
247Bigg-T
Completed Languages:
7 kyu
Null-Conditional Operator (C# 6.0)
761ah01
Completed Languages:
7 kyu
Null
380jaybruce1998
Completed Languages:
4 kyu
Binary multiple of 3
7,075rsalgado
Completed Languages:
2 kyu
Simpler Interactive Interpreter
2,968Wintermute
Completed Languages:
1 kyu
A+B=B+A? Prove it!
452AJFarmar
Completed Languages:
1 kyu
One function, many arguments: Haskell style.
374AJFarmar
Completed Languages:
2 kyu
Odd + Even = Odd? Prove it!
709AJFarmar
Completed Languages:
3 kyu
Huffman Encoding
1,468muesli4
Completed Languages:
1 kyu
Sure, but can you SKI? (I)
290Voile
Completed Languages:
1 kyu
Coroutines
302mpickering
Completed Languages:
5 kyu
What’s the degree?
119hhelwich
Completed Languages:
7 kyu
Convert between radians and degrees
810priyankaherur
Completed Languages:
Loading more items...