at
.
logic
.
skeptik
prover
package
prover
Linear Supertypes
AnyRef
,
Any
Ordering
Alphabetic
By inheritance
Inherited
prover
AnyRef
Any
Hide All
Show all
Learn more about member selection
Visibility
Public
All
Type Members
type
Calculus
[
J <:
Judgment
,
P <:
ProofNode
[
J
,
P
]
]
=
Seq
[
InferenceRule
[
J
,
P
]]
abstract
class
InferenceRule
[
J <:
Judgment
,
P <:
ProofNode
[
J
,
P
]
]
extends
AnyRef
abstract
class
Prover
[
J <:
Judgment
,
P <:
ProofNode
[
J
,
P
]
]
extends
AnyRef
class
SimpleProver
[
J <:
Judgment
,
P <:
ProofNode
[
J
,
P
]
]
extends
AnyRef
Inherited from
AnyRef
Inherited from
Any
Ungrouped