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

summary refs log tree commit diff

path: root/Test/absthm.art

blob: 6fd12ba88812b30938d022eb583bdc0746f6d671 (plain)

"bool"
"bool"
var
varType
varTerm
"bool"
const
"bool"
typeOp
nil
opType
constTerm
refl
absThm