• 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
Last commit
Last update
META.in Loading commit data...
why3.ml Loading commit data...