wytp.proof.util

Classes

• AbstractClosureRule
• AbstractProof
• AbstractProof.AbstractState
• AbstractProofRule
• Arithmetic
• Arithmetic.Polynomial
• Arithmetic.Polynomial.Term
• DeltaProof
• DeltaProof.State
• FastDelta
• FastDelta.Set
• Formulae