Ad
8 kyu
Theorem proving hello world: prove a+0=a and 0+a=a
379ice1000
Completed Languages:
2 kyu
Yoneda lemma
175pier-bezuhoff
Completed Languages:
3 kyu
Last digit of a huge number
7,686Bodigrim
Completed Languages:
1 kyu
Lensmaker
380tel
Completed Languages:
3 kyu
Lens Apprentice
237glebec
Completed Languages:
4 kyu
Next bigger number with the same digits
37,537GiacomoSorbi
Completed Languages:
1 kyu
Coroutines
311mpickering
Completed Languages:
4 kyu
Differentiate a function
53DasBrain
Completed Languages:
4 kyu
Multiplying numbers as strings
9,952osofem
Completed Languages:
4 kyu
Recover a secret string from random triplets
17,056zpconn
Completed Languages:
6 kyu
Parabolic Arc Length
3,031g964
Completed Languages:
1 kyu
A*B=B*A? Prove it!
212ice1000
Completed Languages:
1 kyu
A+B=B+A? Prove it!
460AJFarmar
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
273ice1000
Completed Languages:
2 kyu
Odd + Even = Odd? Prove it!
717AJFarmar
Completed Languages:
Loading more items...