Module specs

Source
Expand description

Defines proof specs, which encode the structure of proofs

Structsยง

ProofSpecs
An array of proof specifications.