Expand description

Describes data structures and the algorithms used by the AHP prover.