gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.proofs/gapt.proofs.epsilon

gapt.proofs.epsilon

package gapt.proofs.epsilon

Members list

Type members

Classlikes

case class CriticalFormula(existential: Formula, term: Expr)

Attributes

Source
EpsilonProof.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Epsilon

Attributes

Source
Epsilon.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Epsilon.type
object EpsilonC extends LogicalC

Attributes

Source
Epsilon.scala
Supertypes
class LogicalC
class Object
trait Matchable
class Any
Self type
EpsilonC.type
case class EpsilonProof(criticalFormula: Seq[CriticalFormula], shallow: HOLSequent)

Attributes

Source
EpsilonProof.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object ExpansionProofToEpsilon

Attributes

Source
ExpansionProofToEpsilon.scala
Supertypes
class Object
trait Matchable
class Any
Self type
object epsilonize

Attributes

Source
EpsilonProof.scala
Supertypes
class Object
trait Matchable
class Any
Self type
epsilonize.type
Generated with