Package

at.logic.gapt.proofs

sketch

Permalink

package sketch

Visibility
  1. Public
  2. All

Type Members

  1. case class RefutationSketch(steps: Seq[Step]) extends Product with Serializable

    Permalink

Value Members

  1. object RefutationSketch extends Serializable

    Permalink
  2. object RefutationSketchToRobinson extends Logger

    Permalink

Ungrouped