Module cop::lean::cuts

source ·
Expand description

Backtracking and restrictions thereof.

Structs

  • Cuts
    Backtracking restrictions for different kinds of proof steps.

Enums

  • Cut
    Backtracking restriction.