gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.examples/philsci

philsci

gapt.examples.philsci
object philsci

Attributes

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

Members list

Value members

Concrete methods

def apply(): (LKProof, LKProof)

Attributes

Source
philsci.scala
Generated with