[Easycrypt-club] conseq

Bas Spitters b.a.w.spitters at gmail.com
Tue Jan 30 18:49:17 CET 2018


I am trying to use conseq in the form

conseq M_N M N.

p146 of the refman.

I get an error message:
do not how to combine equivF and hoareS and hoareS into equivS

What does that mean?

Thanks,

Bas


More information about the Easycrypt-club mailing list