Ad
8 kyu
Theorem proving hello world: prove a+0=a and 0+a=a
379ice1000
Completed Languages:
6 kyu
Convert string to camel case
192,250jhoffner
Completed Languages:
4 kyu
Fix it
548gans
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
261lwoo1999
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
315ice1000
Completed Languages:
6 kyu
Decode the Morse code
116,243jolaf
Completed Languages:
5 kyu
Coding with Squared Strings
2,047g964
Completed Languages:
Loading more items...