Module cop::lean::search

source ·
Expand description

Clausal proof search.

Structs

  • Opt
    Search options.
  • Search
    State of the proof search.

Enums

  • Action
    Proof step or future action.

Type Aliases

  • Context
    Path and lemmas.
  • Task
    The current (rest of a) clause we’re working on.