Ad
8 kyu
Theorem proving hello world: prove a+0=a and 0+a=a
391ice1000
Completed Languages:
6 kyu
Convert string to camel case
205,625jhoffner
Completed Languages:
4 kyu
Fix it
553gans
Completed Languages:
2 kyu
String formatting, type-safely
62ice1000
Completed Languages:
2 kyu
Odd + Even = Odd? Prove it!
740AJFarmar
Completed Languages:
7 kyu
This square is perfect
269lwoo1999
Completed Languages:
6 kyu
A+A=B+B so A=B? Prove it!
265ice1000
Completed Languages:
6 kyu
I'm now 360 degree different from the past
122ice1000
Completed Languages:
6 kyu
Program Verification #3: Tail-recursive sum
204monadius
Completed Languages:
6 kyu
Program Verification #2: Fibonacci numbers
183monadius
Completed Languages:
6 kyu
Program Verification #1: The sum of an arithmetic progression
213monadius
Completed Languages:
5 kyu
Classical Axioms: Peirce's Law-Equivalent
14Milky2020
Completed Languages:
7 kyu
Google interview
323ice1000
Completed Languages:
6 kyu
Decode the Morse code
121,761jolaf
Completed Languages:
5 kyu
Coding with Squared Strings
2,126g964
Completed Languages:
Loading more items...