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