wytp.proof

Interfaces

• Formula
• Formula.ArithmeticEquation
• Formula.Equation
• Proof
• Proof.Delta
• Proof.Delta.Set
• Proof.LinearRule
• Proof.NonLinearRule
• Proof.Rule
• Proof.State

Classes

• Formula.ArithmeticEquality
• Formula.Conjunct
• Formula.Disjunct
• Formula.Equality
• Formula.Inequality
• Formula.Invoke
• Formula.Is
• Formula.Quantifier
• Formula.Truth