Ad
8 kyu
Theorem proving hello world: prove a+0=a and 0+a=a
377ice1000
Completed Languages:
6 kyu
Convert string to camel case
191,385jhoffner
Completed Languages:
4 kyu
Fix it
546gans
Completed Languages:
2 kyu
String formatting, type-safely
61ice1000
Completed Languages:
2 kyu
Odd + Even = Odd? Prove it!
717AJFarmar
Completed Languages:
7 kyu
This square is perfect
260lwoo1999
Completed Languages:
6 kyu
A+A=B+B so A=B? Prove it!
258ice1000
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
179monadius
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
313ice1000
Completed Languages:
6 kyu
Decode the Morse code
115,908jolaf
Completed Languages:
5 kyu
Coding with Squared Strings
2,047g964
Completed Languages:
Loading more items...