at
.
logic
.
gapt
.
provers
leancop
package
leancop
Visibility
Public
All
Type Members
class
LeanCoPProver
extends
Prover
with
ExternalProgram
Ungrouped