Ad
1 kyu
A*B=B*A? Prove it!
215ice1000
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
382ice1000
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
276ice1000
Completed Languages:
3 kyu
Fabergé Easter Eggs crush test
1,831Ivana
Completed Languages:
4 kyu
Last digits of N^2 == N
626Ivana
Completed Languages:
3 kyu
Constructing finite fields using binary polynoms
156muesli4
Completed Languages:
2 kyu
Writing applicative parsers from scratch
341muesli4
Completed Languages:
5 kyu
A Chain adding function
28,706gelus
Completed Languages:
Retired
Flatten a tree
136lolisa
Completed Languages:
5 kyu
Proving Trivial Tautologies
96TheBookmarkKnight
Completed Languages:
7 kyu
Filter the number
18,611matt c
Completed Languages:
8 kyu
Is the string uppercase?
69,749donaldsebleung
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...