Ad
1 kyu
A*B=B*A? Prove it!
212ice1000
Completed Languages:
5 kyu
DNE equivalent to PEM? Prove It!
212yuxuanchiadm
Completed Languages:
8 kyu
Theorem proving hello world: prove a+0=a and 0+a=a
379ice1000
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
273ice1000
Completed Languages:
3 kyu
Fabergé Easter Eggs crush test
1,808Ivana
Completed Languages:
4 kyu
Last digits of N^2 == N
609Ivana
Completed Languages:
3 kyu
Constructing finite fields using binary polynoms
156muesli4
Completed Languages:
2 kyu
Writing applicative parsers from scratch
339muesli4
Completed Languages:
5 kyu
A Chain adding function
28,606gelus
Completed Languages:
Retired
Flatten a tree
136lolisa
Completed Languages:
5 kyu
Proving Trivial Tautologies
96TheBookmarkKnight
Completed Languages:
7 kyu
Filter the number
18,391matt c
Completed Languages:
8 kyu
Is the string uppercase?
67,112donaldsebleung
Completed Languages:
Retired
Uppercase all vowels
179wichu
Completed Languages:
Retired
Get all possible products of two lists of numbers
98wichu
Completed Languages:
Loading more items...