Le 30/01/2018 à 17:30, Claude Marché a écrit :
But it is not the only issue: we also have the TryWhy3 interface which uses js_of_ocaml, and if there is a binding of Num in js_of_ocaml, I don't know if there is one for Zarith.
There is not but some people already did it: https://github.com/ocsigen/js_of_ocaml/issues/586 -- François _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club
