• MARCHE Claude's avatar
    Remove all usages of obsolete library why3extract.cma · 1f766d25
    MARCHE Claude authored
    Two of the three examples which are extracted to ocaml code and then to
    javascript are not working, but they were broken since the new extraction
    which is bound to the use of Zarith and not Num. They should be
    repaired when js_of_ocaml supports Zarith
    1f766d25
Name
Last commit
Last update
..
coq Loading commit data...
isabelle Loading commit data...
pvs Loading commit data...
why3 Loading commit data...
why3-call-pvs Loading commit data...