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

Update BAST dependency #22

Closed dde-cls closed 1 month ago

dde-cls commented 2 months ago

Submodule BAST has been extended to support the whole B type system and needs to be updated.