You need to sign in or sign up before continuing.×
Ad
8 kyu
Theorem proving hello world: prove a+0=a and 0+a=a
382ice1000
Completed Languages:
6 kyu
Convert string to camel case
193,956jhoffner
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!
720AJFarmar
Completed Languages:
7 kyu
This square is perfect
262lwoo1999
Completed Languages:
6 kyu
A+A=B+B so A=B? Prove it!
260ice1000
Completed Languages:
6 kyu
I'm now 360 degree different from the past
120ice1000
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
116,873jolaf
Completed Languages:
5 kyu
Coding with Squared Strings
2,054g964
Completed Languages:
Loading more items...