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
Fixed regressions in TPTP encoding #23
Closed
dde-cls closed 1 month ago
Some type declarations are missing after TPTP backend update.