Ad
1 kyu
A*B=B*A? Prove it!
220ice1000
Completed Languages:
5 kyu
DNE equivalent to PEM? Prove It!
215yuxuanchiadm
Completed Languages:
8 kyu
Theorem proving hello world: prove a+0=a and 0+a=a
391ice1000
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
284ice1000
Completed Languages:
3 kyu
Fabergé Easter Eggs crush test
1,963Ivana
Completed Languages:
4 kyu
Last digits of N^2 == N
647Ivana
Completed Languages:
3 kyu
Constructing finite fields using binary polynoms
197muesli4
Completed Languages:
2 kyu
Writing applicative parsers from scratch
347muesli4
Completed Languages:
5 kyu
A Chain adding function
29,380gelus
Completed Languages:
Retired
Flatten a tree
136lolisa
Completed Languages:
5 kyu
Proving Trivial Tautologies
99TheBookmarkKnight
Completed Languages:
7 kyu
Filter the number
19,414matt c
Completed Languages:
8 kyu
Is the string uppercase?
74,188donaldsebleung
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...