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

summary refs log tree commit diff

path: root/test/deductantisym.art

blob: d61b22e15936eb8e960bf5de14f4ee5ab0af1ba7 (plain)

"x"
const
"bool"
typeOp
nil
opType
constTerm
assume
1
def
1
remove
deductAntisym