axiom.art « test - opentheory-transform - Opentheory proof trace optimizer

summary refs log tree commit diff

path: root/test/axiom.art

blob: 5940bc6a0758b3c75e851ad39cbd02fca1b01595 (plain)

nil
"name"
const
"bool"
typeOp
nil
opType
constTerm
axiom