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