Hello,I want to get a problem in TPTP format from a task expressed in Why3. Is there already a way to do this, either with Why3 or another tool? Ideally, I would do this through the API for OCaml, but I will take anything. Thanks in advance.
Antoine Defourné _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club