Types & classes — github.com/andrew-bedford/coqatoo

CodeHub MCPcopy Create free account

hub / github.com/andrew-bedford/coqatoo / types & classes

Types & classes24 in github.com/andrew-bedford/coqatoo

⨍ Functions 59 ◇ Types & classes 24

source/coqatoo/rewriters/rules/Apply.java:11

ClassAssumption

source/coqatoo/rewriters/rules/Assumption.java:5

ClassAssumption

source/coqatoo/coq/Assumption.java:3

ClassCoqRewriter

source/coqatoo/rewriters/CoqRewriter.java:9

source/coqatoo/coq/Coqtop.java:11

source/coqatoo/rewriters/rules/Destruct.java:7

ClassFileHelper

source/helpers/FileHelper.java:6

source/coqatoo/coq/Goal.java:3

source/coqatoo/coq/Input.java:3

ClassInputOutput

source/coqatoo/coq/InputOutput.java:3

source/coqatoo/coq/InputType.java:3

source/coqatoo/rewriters/rules/Intros.java:10

source/coqatoo/rewriters/rules/Intuition.java:3

source/coqatoo/rewriters/rules/Inversion.java:10

ClassLatexRewriter

source/coqatoo/rewriters/LatexRewriter.java:3

source/coqatoo/Main.java:12

source/coqatoo/rewriters/rules/Omega.java:9

source/coqatoo/coq/Output.java:10

ClassReflexivity

source/coqatoo/rewriters/rules/Reflexivity.java:9

InterfaceRewriter

source/coqatoo/rewriters/Rewriter.java:3

source/helpers/SetHelper.java:6

source/coqatoo/rewriters/rules/Simpl.java:9

ClassTextRewriter

source/coqatoo/rewriters/TextRewriter.java:11

source/coqatoo/rewriters/rules/Unfold.java:9