unapply
Atom
BinaryFormula
Formula
QuantifierFormula
UnaryFormula
Assumption
ImpElim
ImpElimC
ImpIntro
ImpIntroC
ImpIntroCK
Input
Resolvent
AllL
AllR
AndL
AndR
Axiom
AxiomTaut
Cut
CutIC
WeakeningL
R
Unary
natural
sequent
UnaryFormula
formula
unicode
util
unicodeOrElse
unicode
unifier
algorithm
unite
Regularization
UnitLowering
compressor
UnitsCollectingBeforeFixing
compressor
update
Substitution
Resolvent
util
skeptik