Ad
8 kyu
Theorem proving hello world: prove a+0=a and 0+a=a
361ice1000
Completed Languages:
2 kyu
Yoneda lemma
167pier-bezuhoff
Completed Languages:
3 kyu
Last digit of a huge number
7,205Bodigrim
Completed Languages:
1 kyu
Lensmaker
368tel
Completed Languages:
3 kyu
Lens Apprentice
231glebec
Completed Languages:
4 kyu
Next bigger number with the same digits
35,394GiacomoSorbi
Completed Languages:
1 kyu
Coroutines
292mpickering
Completed Languages:
4 kyu
Differentiate a function
49DasBrain
Completed Languages:
4 kyu
Multiplying numbers as strings
9,503osofem
Completed Languages:
4 kyu
Recover a secret string from random triplets
15,943zpconn
Completed Languages:
6 kyu
Parabolic Arc Length
2,960g964
Completed Languages:
1 kyu
A*B=B*A? Prove it!
203ice1000
Completed Languages:
1 kyu
A+B=B+A? Prove it!
444AJFarmar
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
267ice1000
Completed Languages:
2 kyu
Odd + Even = Odd? Prove it!
692AJFarmar
Completed Languages:
Loading more items...