GitHub repository: CLEARSY/pptranspog
Primary language: SMT
Description: Encoding of proof obligations generated by Atelier B to typed first-order formats (SMT, TPTP) using the ppTrans approach