Package

at.logic.gapt.provers

leancop

Permalink

package leancop

Visibility
  1. Public
  2. All

Type Members

  1. class LeanCoPProver extends Prover with ExternalProgram

    Permalink

Ungrouped