Script

Attributes

Graph

Reset zoomHide graphShow graph

Supertypes

trait App

trait DelayedInit

class Object

trait Matchable

class Any

Known subtypes

object addition

object array_init

object AndLeftWithEmptySuccedent

object OrLeftWithEmptySuccedent

object classicalPairing

object contractRightWithWrongFocus

object cut1

object cut2

object definitionLeftRule

object definitionRightRule

object definitionRightRule2

object demorgan1

object demorgan2

object dne

object equalityLeft

object equalityLeftEmptySuc

object equalityRight

object ex0_1_6

object ex0_1_6_short

object example1

object impLeft1

object impLeft2

object impRight1

object impRight2

object induction

object inductionRule

object issue687

object issue688

object lem

object negLeft

object negLeftFollowedByNegRight

object negLeftRight1

object negRight1

object orLeft1

object orLeft2

object orLeft3

object orLeft4

object orLeft5

object orRight1

object orRight2

object proofLink

object proofLink2

object proofLink3

object weakenContractRight1

object weakeningRight

object weakeningRight1

object weakeningRight2

object weakeningRightWithWrongFocus

object cutintro

object vtrat_comparison

object ReductionDemo

object ReforestDemo

object epsilon

object instprover

Show all