at
.
logic
.
gapt
.
provers
leancop
package
leancop
Content Hierarchy
LeanCoP
LeanCoP
Visibility
Public
All
Type Members
class
LeanCoP
extends
OneShotProver
with
ExternalProgram
Value Members
object
LeanCoP
extends
LeanCoP
Ungrouped