Ad
8 kyu
Theorem proving hello world: prove a+0=a and 0+a=a
384ice1000
Completed Languages:
2 kyu
Yoneda lemma
177pier-bezuhoff
Completed Languages:
3 kyu
Last digit of a huge number
7,770Bodigrim
Completed Languages:
1 kyu
Lensmaker
383tel
Completed Languages:
3 kyu
Lens Apprentice
238glebec
Completed Languages:
4 kyu
Next bigger number with the same digits
38,189GiacomoSorbi
Completed Languages:
1 kyu
Coroutines
312mpickering
Completed Languages:
4 kyu
Differentiate a function
53DasBrain
Completed Languages:
4 kyu
Multiplying numbers as strings
10,109osofem
Completed Languages:
4 kyu
Recover a secret string from random triplets
17,256zpconn
Completed Languages:
6 kyu
Parabolic Arc Length
3,049g964
Completed Languages:
1 kyu
A*B=B*A? Prove it!
218ice1000
Completed Languages:
1 kyu
A+B=B+A? Prove it!
467AJFarmar
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
277ice1000
Completed Languages:
2 kyu
Odd + Even = Odd? Prove it!
724AJFarmar
Completed Languages:
Loading more items...