Ad
1 kyu
A*B=B*A? Prove it!
204ice1000
Completed Languages:
5 kyu
DNE equivalent to PEM? Prove It!
208yuxuanchiadm
Completed Languages:
8 kyu
Theorem proving hello world: prove a+0=a and 0+a=a
363ice1000
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
268ice1000
Completed Languages:
3 kyu
Fabergé Easter Eggs crush test
1,722Ivana
Completed Languages:
4 kyu
Last digits of N^2 == N
577Ivana
Completed Languages:
3 kyu
Constructing finite fields using binary polynoms
150muesli4
Completed Languages:
2 kyu
Writing applicative parsers from scratch
334muesli4
Completed Languages:
5 kyu
A Chain adding function
27,628gelus
Completed Languages:
Retired
Flatten a tree
136lolisa
Completed Languages:
5 kyu
Proving Trivial Tautologies
95TheBookmarkKnight
Completed Languages:
7 kyu
Filter the number
16,653matt c
Completed Languages:
8 kyu
Is the string uppercase?
61,082donaldsebleung
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...