Val
FindFormula
Vampire
vampire
Var
expr BabelParserCombinators ast
VarConst
babel
VarLiteral
BabelParserCombinators
VarOrConst
expr
VectGrammarMinimizationFormula
grammars
VectTratGrammar
grammars
Vector
unification
VeriT
veriT
VeriTParser
veriT
VeriTParserException
veriT
VeriTTestCase
testing
VeriTUnfoldingTransitivityException
veriT
VertexGraph
graphs
Viper
inductionProver
v
atp_instances poset4_example poset_example Abs Abs All Exists ExistsRightRule ForallLeftRule RalPara VertexGraph
v1
EdgeGraph
v2
EdgeGraph
validateIndices
ConvenienceConstructor LKProof LKskProof
value
Spinner MetricsPrinter IgnoreMetrics MetricsCollector metrics
valueOfNonTerminal
TermGenerationFormula VectGrammarMinimizationFormula
value_=
Spinner
vampire
provers
varWeight
KBO
var_name
VeriTParser
vardecl
DeclarationParser
variable
Abs LeanCoPParser Prover9TermParserA TPTPParser VeriTParser Assign
variables
expr
variablesAll
hol
variablesEx
hol
varnames
Abs All And App Bottom Eq Exists Imp LambdaAST Neg Or Top Var
varrho2
prime
vars
SchemaProof
varsAtTime
SimpleLoopProblem
varsymb
ProgramParser Prover9TermParser Prover9TermParserA Prover9TermParserLadrStyle
vectProductionIsIncluded
GrammarMinimizationFormula TermGenerationFormula VectGrammarMinimizationFormula
vector
Vector
vectorSum
Vector
veriT
formats provers
veritProofs
RegressionTests
veritTestCases
RegressionTests
vertex
AGraph ArbitraryAGraph BinaryAGraph LeafAGraph UnaryAGraph ArbitraryTree BinaryTree LeafTree Tree UnaryTree
viewExpansionProofButton
LKProofViewer
viewLKProofButton
ExpansionSequentViewer
viewMenuContents
ExpansionSequentViewer LKProofViewer LKskProofViewer OldLKViewer ProofToolViewer
violet
Rainbow
visibility
DrawSequent
visitAndLeft
LKVisitor
visitAndRight
LKVisitor
visitBottomAxiom
LKVisitor
visitContractionLeft
LKVisitor
visitContractionRight
LKVisitor
visitCut
LKVisitor
visitDefinitionLeft
LKProofReplacer LKVisitor
visitDefinitionRight
LKProofReplacer LKVisitor
visitEqualityLeft
LKProofReplacer LKVisitor
visitEqualityRight
LKProofReplacer LKVisitor
visitExistsLeft
LKProofReplacer LKVisitor regularize
visitExistsRight
LKProofReplacer LKVisitor
visitForallLeft
LKProofReplacer LKVisitor
visitForallRight
LKProofReplacer LKVisitor regularize
visitImpLeft
LKVisitor
visitImpRight
LKVisitor
visitInduction
LKVisitor makeInductionExplicit regularize
visitLogicalAxiom
LKProofReplacer LKVisitor
visitNegLeft
LKVisitor
visitNegRight
LKVisitor
visitOpenAssumption
ProofSegmentInsertionVisitor LKProofReplacer LKVisitor
visitOrLeft
LKVisitor
visitOrRight
LKVisitor
visitReflexivityAxiom
LKProofReplacer LKVisitor
visitTheoryAxiom
LKProofReplacer LKVisitor eliminateTheoryAxioms
visitTopAxiom
LKVisitor
visitWeakeningLeft
LKProofReplacer LKVisitor
visitWeakeningRight
LKProofReplacer LKVisitor
vtrat_comparison
recschem
vtratg
poset4_example
vtratgToSEHS
cutintro