at
.
logic
.
gapt
proofs
package
proofs
Content Hierarchy
Learn more about scaladoc diagrams
SequentProof[Formula, This]
DagProof[A]
Visibility
Public
All
Type Members
trait
DagProof
[
A <:
DagProof
[
A
]
]
extends
Product
trait
SequentProof
[
Formula <:
HOLFormula
,
This <:
SequentProof
[
Formula
,
This
]
]
extends
DagProof
[
This
]
Value Members
package
ceres
package
expansionTrees
Created by sebastian on 7/15/15.
package
hoare
package
lk
package
lkNew
package
lksk
package
occurrences
package
proofs
package
resolution
Created by sebastian on 7/13/15.
package
shlk
package
sketch
Ungrouped