Script

Attributes

Graph

Reset zoomHide graphShow graph

Supertypes

trait App

trait DelayedInit

class Object

trait Matchable

class Any

Known subtypes

object addition.type

object array_init.type

object AndLeftWithEmptySuccedent.type

object OrLeftWithEmptySuccedent.type

object classicalPairing.type

object contractRightWithWrongFocus.type

object cut1.type

object cut2.type

object definitionLeftRule.type

object definitionRightRule.type

object definitionRightRule2.type

object demorgan1.type

object demorgan2.type

object dne.type

object equalityLeft.type

object equalityLeftEmptySuc.type

object equalityRight.type

object ex0_1_6.type

object ex0_1_6_short.type

object example1.type

object impLeft1.type

object impLeft2.type

object impRight1.type

object impRight2.type

object induction.type

object inductionRule.type

object issue687.type

object issue688.type

object lem.type

object negLeft.type

object negLeftFollowedByNegRight.type

object negLeftRight1.type

object negRight1.type

object orLeft1.type

object orLeft2.type

object orLeft3.type

object orLeft4.type

object orLeft5.type

object orRight1.type

object orRight2.type

object proofLink.type

object proofLink2.type

object proofLink3.type

object weakenContractRight1.type

object weakeningRight.type

object weakeningRight1.type

object weakeningRight2.type

object weakeningRightWithWrongFocus.type

object cutintro.type

object vtrat_comparison.type

object ReductionDemo.type

object ReforestDemo.type

object epsilon.type

object instprover.type

Show all