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

summary refs log tree commit diff

path: root/Test/deductantisym.art

blob: 80a6eea1593b0dcb955a20938320c16310dba1a9 (plain)

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