I recommend to check also Decucteam[1][2] projects, they also convert between different formats. Even as they focus on mathematical logic mostly, it still can b

I recommend to check also Decucteam[1][2] projects, they also convert between different formats. Even as they focus on mathematical logic mostly, it still can be useful to check. [1] http://deducteam.gforge.inria.fr http://deducteam.gforge.inria.fr [2] https://github.com/Deducteam https://github.com/Deducteam