Ad
1 kyu
A*B=B*A? Prove it!
210ice1000
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
377ice1000
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
272ice1000
Completed Languages:
3 kyu
Fabergé Easter Eggs crush test
1,783Ivana
Completed Languages:
4 kyu
Last digits of N^2 == N
592Ivana
Completed Languages:
3 kyu
Constructing finite fields using binary polynoms
154muesli4
Completed Languages:
2 kyu
Writing applicative parsers from scratch
339muesli4
Completed Languages:
5 kyu
A Chain adding function
28,472gelus
Completed Languages:
Retired
Flatten a tree
136lolisa
Completed Languages:
5 kyu
Proving Trivial Tautologies
96TheBookmarkKnight
Completed Languages:
7 kyu
Filter the number
17,490matt c
Completed Languages:
8 kyu
Is the string uppercase?
66,140donaldsebleung
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...