name

AbstractWrappedAlgorithm AtomicType Var NamedE Proof

NamedE

judgment

nameFactory

natural

natural

proof

NaturalDeductionProof

natural

NaturalSequent

judgment

Neg

formula

newBuilder

Report Substitution Substitution

newLURPI

WrappedAlgorithmFactory

newRP

WrappedAlgorithmFactory

newRPI

WrappedAlgorithmFactory

newRPILU

WrappedAlgorithmFactory

newRPIr

WrappedAlgorithmFactory

NewUnitLowering

compressor WrappedAlgorithmFactory

nLURPILU

WrappedAlgorithmFactory

NoAuxFormula

sequent

NodeKind

pseudoUnits

nodeSize

RegularizationInformation

NoImplicitContraction

sequent

NoMainFormula

sequent

NoStateMeasure

compression

Nullary

natural sequent