search

CLEARSY / pptranspog

Encoding of proof obligations generated by Atelier B to typed first-order formats (SMT, TPTP) using the ppTrans approach
GNU General Public License v3.0
0 stars 2 forks source link

TPTP4X compatibility #5

Closed dde-cls closed 12 months ago

dde-cls commented 12 months ago

Fixed missing parentheses in PPTransTPTP [#3]