Dheeraj Chakilam
Results
1
issues of
Dheeraj Chakilam
Hello! I'd like to prove correctness of a few simple Michelson programs in Coq. Since the language specification has changed in the last two years, (i) which branch should I...