Module prover

Module prover 

Source
Expand description

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