Skip to content

name annotated formulas in a tptp compliant way when adding them to P… #64

name annotated formulas in a tptp compliant way when adding them to P…

name annotated formulas in a tptp compliant way when adding them to P… #64