GitHub repository: scaryPonens/PSOA-to-TPTP
Primary language: Java
Description: POSA RuleML to TPTP FOF translation framework