gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.proofs/gapt.proofs.lk/gapt.proofs.lk.util/instanceProof

instanceProof

gapt.proofs.lk.util.instanceProof
object instanceProof

Attributes

Source
utils.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def apply(proof: LKProof, terms: Expr*)(implicit dummyImplicit: DummyImplicit): LKProof

Attributes

Source
utils.scala
def apply(proof: LKProof, terms: Seq[Expr]): LKProof

Attributes

Source
utils.scala
Generated with