at
.
logic
.
gapt
.
provers
spass
package
spass
Content Hierarchy
SPASS
SPASS
Visibility
Public
All
Type Members
class
SPASS
extends
ResolutionProver
with
ExternalProgram
Value Members
object
SPASS
extends
SPASS
Ungrouped