[Why3-club] Interpreter for why3 code?

Alan Schmitt alan.schmitt at polytechnique.org
Thu Mar 13 10:11:55 CET 2014


Hello,

Is there an easy way to interpret why3 code? I don't want a full fledged
extraction to OCaml, but would like to be able to have students test
their algorithms before they prove them.

Thanks,

Alan



More information about the Why3-club mailing list