| Class | Description |
|---|---|
| AbstractClosureRule | |
| AbstractProof<T extends Proof.State> | |
| AbstractProof.AbstractState<T extends Proof.State> | |
| AbstractProofRule | |
| Arithmetic | |
| Arithmetic.Polynomial | |
| Arithmetic.Polynomial.Term | |
| DeltaProof | |
| DeltaProof.State | |
| FastDelta | |
| FastDelta.Set | |
| Formulae |
Provides a range of different algorithms for manipulating formula.
|
Copyright © 2017. All rights reserved.