Ad
8 kyu
Theorem proving hello world: prove a+0=a and 0+a=a
384ice1000
Completed Languages:
6 kyu
Convert string to camel case
195,687jhoffner
Completed Languages:
4 kyu
Fix it
549gans
Completed Languages:
2 kyu
String formatting, type-safely
61ice1000
Completed Languages:
2 kyu
Odd + Even = Odd? Prove it!
724AJFarmar
Completed Languages:
7 kyu
This square is perfect
263lwoo1999
Completed Languages:
6 kyu
A+A=B+B so A=B? Prove it!
262ice1000
Completed Languages:
6 kyu
I'm now 360 degree different from the past
121ice1000
Completed Languages:
6 kyu
Program Verification #3: Tail-recursive sum
202monadius
Completed Languages:
6 kyu
Program Verification #2: Fibonacci numbers
180monadius
Completed Languages:
6 kyu
Program Verification #1: The sum of an arithmetic progression
210monadius
Completed Languages:
5 kyu
Classical Axioms: Peirce's Law-Equivalent
14Milky2020
Completed Languages:
7 kyu
Google interview
316ice1000
Completed Languages:
6 kyu
Decode the Morse code
117,593jolaf
Completed Languages:
5 kyu
Coding with Squared Strings
2,065g964
Completed Languages:
Loading more items...