Questions on TPTP parser in Why3
Hi. I have a number of questions concerning TPTP and Why3. Where is the source code of the TPTP parser used by Why3? Can it parse any TPTP file? Is it part of the Why3 library? Best regards, Frédéric.
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
Hi. I have a number of questions concerning TPTP and Why3. Where is the source code of the TPTP parser used by Why3? Can it parse any TPTP file? Is it part of the Why3 library? Best regards, Frédéric.