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

summary refs log tree commit diff

path: root/test/axiom.art

blob: bcf79bfd57d4d8d4402842c05fffd17bf85532ca (plain)

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