Ad
6 kyu
Conversion to Negation Normal Form
16malcolmsharpe
Completed Languages:
5 kyu
Multiples of some m, you say?
18donaldsebleung
Completed Languages:
2 kyu
Cardinality of N and N x N
40solitude
Completed Languages:
2 kyu
Program Verification #8: Balanced Parentheses
12monadius
Completed Languages:
6 kyu
Verified list maximum
43donaldsebleung
Completed Languages:
7 kyu
Show that there are two types that are unequal
132kckennylau
Completed Languages:
5 kyu
Exploring ways to evaluate and compile a trivial language
86solitude
Completed Languages:
8 kyu
Multiply
5,519,625
Completed Languages:
6 kyu
Verified Horner's method
86dramforever
Completed Languages:
5 kyu
DNE equivalent to PEM? Prove It!
208yuxuanchiadm
Completed Languages:
2 kyu
Singletons
444mpickering
Completed Languages:
4 kyu
Ltac practice: The tarai function
31dramforever
Completed Languages:
1 kyu
Scott Encoding
586xenoexplorator
Completed Languages:
1 kyu
A*B=B*A? Prove it!
205ice1000
Completed Languages:
4 kyu
(A+B)+C=A+(B+C)? Prove it!
270ice1000
Completed Languages:
Loading more items...