Package

at.logic.gapt.provers

leancop

Permalink

package leancop

Content Hierarchy
Visibility
  1. Public
  2. All

Type Members

  1. class LeanCoP extends OneShotProver with ExternalProgram

    Permalink

Value Members

  1. object LeanCoP extends LeanCoP

    Permalink

Ungrouped