AddHandler
AddHandler
|
0.7647059
(76.5%)
|
AuthorHandler
AuthorHandler
|
0.8518519
(85.2%)
|
AuthorListHandler
AuthorListHandler
|
0.84
(84%)
|
AxiomHandler
AxiomHandler
|
0.6666667
(66.7%)
|
ChangedRuleHandler
ChangedRuleHandler
|
0.86206895
(86.2%)
|
ChapterHandler
ChapterHandler
|
0.9111111
(91.1%)
|
ConclusionHandler
ConclusionHandler
|
0.8518519
(85.2%)
|
ConditionalProofHandler
ConditionalProofHandler
|
0.902439
(90.2%)
|
ExistentialHandler
ExistentialHandler
|
0.86206895
(86.2%)
|
FormalProofHandler
FormalProofHandler
|
0.84615386
(84.6%)
|
FormalProofLineListHandler
FormalProofLineListHandler
|
0.96581197
(96.6%)
|
FormulaHandler
FormulaHandler
|
0.84
(84%)
|
FunctionDefinitionHandler
FunctionDefinitionHandler
|
0.7254902
(72.5%)
|
HeaderHandler
HeaderHandler
|
0.9444444
(94.4%)
|
HypothesisHandler
HypothesisHandler
|
0.8518519
(85.2%)
|
ImportListHandler
ImportListHandler
|
0.8787879
(87.9%)
|
InitialFunctionDefinitionHandler
InitialFunctionDefinitionHandler
|
0.7254902
(72.5%)
|
InitialPredicateDefinitionHandler
InitialPredicateDefinitionHandler
|
0.7254902
(72.5%)
|
LatexHandler
LatexHandler
|
0.7941176
(79.4%)
|
LatexListHandler
LatexListHandler
|
0.8064516
(80.6%)
|
LiteratureItemHandler
LiteratureItemHandler
|
0.8095238
(81%)
|
LiteratureItemListHandler
LiteratureItemListHandler
|
0.84
(84%)
|
ModusPonensHandler
ModusPonensHandler
|
0.7647059
(76.5%)
|
NodeHandler
NodeHandler
|
0.9661017
(96.6%)
|
PredicateDefinitionHandler
PredicateDefinitionHandler
|
0.7254902
(72.5%)
|
ProofHandler
ProofHandler
|
0.8181818
(81.8%)
|
PropositionHandler
PropositionHandler
|
0.9245283
(92.5%)
|
QedeqHandler
QedeqHandler
|
1.0
(100%)
|
RenameHandler
RenameHandler
|
0.88372093
(88.4%)
|
RuleHandler
RuleHandler
|
0.84615386
(84.6%)
|
SectionHandler
SectionHandler
|
0.9111111
(91.1%)
|
SpecificationHandler
SpecificationHandler
|
0.8888889
(88.9%)
|
SubsectionHandler
SubsectionHandler
|
0.8947368
(89.5%)
|
SubsectionListHandler
SubsectionListHandler
|
0.88235295
(88.2%)
|
SubstFreevarHandler
SubstFreevarHandler
|
0.902439
(90.2%)
|
SubstFuncvarHandler
SubstFuncvarHandler
|
0.902439
(90.2%)
|
SubstPredvarHandler
SubstPredvarHandler
|
0.902439
(90.2%)
|
TermHandler
TermHandler
|
0.84
(84%)
|
UniversalHandler
UniversalHandler
|
0.86206895
(86.2%)
|
UsedByListHandler
UsedByListHandler
|
0.84
(84%)
|