| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1589 entries) |
| Notation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (10 entries) |
| Module Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (24 entries) |
| Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (137 entries) |
| Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (50 entries) |
| Axiom Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (26 entries) |
| Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (262 entries) |
| Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (184 entries) |
| Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (45 entries) |
| Projection Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (37 entries) |
| Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (26 entries) |
| Instance Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (19 entries) |
| Abbreviation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (15 entries) |
| Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (742 entries) |
| Record Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (12 entries) |
C (variable)
cclosure.A [in VerifiedExtraction.Benchmarks.lib.vs]cclosure.A_cmp [in VerifiedExtraction.Benchmarks.lib.vs]
cclosure.B [in VerifiedExtraction.Benchmarks.lib.vs]
cclosure.B_cmp [in VerifiedExtraction.Benchmarks.lib.vs]
cclosure.fAB [in VerifiedExtraction.Benchmarks.lib.vs]
compile_malfunction_pipeline.Normalisation [in Malfunction.Pipeline]
compile_malfunction_pipeline.typing [in Malfunction.Pipeline]
compile_malfunction_pipeline.expt [in Malfunction.Pipeline]
compile_malfunction_pipeline.expΣ [in Malfunction.Pipeline]
compile_malfunction_pipeline.HΣ [in Malfunction.Pipeline]
compile_malfunction_pipeline.T [in Malfunction.Pipeline]
compile_malfunction_pipeline.t [in Malfunction.Pipeline]
compile_malfunction_pipeline.Σ [in Malfunction.Pipeline]
compile_malfunction_pipeline.HH [in Malfunction.Pipeline]
compile_malfunction_pipeline.HP [in Malfunction.Pipeline]
compile_value_mf.compile_value_mf [in Malfunction.PipelineCorrect]
compile_value_mf.Σ_t' [in Malfunction.PipelineCorrect]
compile_value_mf.Σ_v [in Malfunction.PipelineCorrect]
compile_value_mf.Heval [in Malfunction.PipelineCorrect]
compile_value_mf.Σ_t [in Malfunction.PipelineCorrect]
compile_value_mf.typing [in Malfunction.PipelineCorrect]
compile_value_mf.T [in Malfunction.PipelineCorrect]
compile_value_mf.Normalisation [in Malfunction.PipelineCorrect]
compile_value_mf.noParam [in Malfunction.PipelineCorrect]
compile_value_mf.fo [in Malfunction.PipelineCorrect]
compile_value_mf.args [in Malfunction.PipelineCorrect]
compile_value_mf.u [in Malfunction.PipelineCorrect]
compile_value_mf.i [in Malfunction.PipelineCorrect]
compile_value_mf.v [in Malfunction.PipelineCorrect]
compile_value_mf.expt [in Malfunction.PipelineCorrect]
compile_value_mf.t [in Malfunction.PipelineCorrect]
compile_value_mf.expΣ [in Malfunction.PipelineCorrect]
compile_value_mf.HΣ [in Malfunction.PipelineCorrect]
compile_value_mf.no_axioms [in Malfunction.PipelineCorrect]
compile_value_mf.Σ [in Malfunction.PipelineCorrect]
compile_value_mf.HH [in Malfunction.PipelineCorrect]
compile_value_mf.HP [in Malfunction.PipelineCorrect]
Compile.Σ [in Malfunction.Compile]
comp.a [in VerifiedExtraction.Benchmarks.lib.vs]
comp.A [in VerifiedExtraction.Benchmarks.lib.vs]
comp.B [in VerifiedExtraction.Benchmarks.lib.vs]
comp.C [in VerifiedExtraction.Benchmarks.lib.vs]
comp.f [in VerifiedExtraction.Benchmarks.lib.vs]
comp.g [in VerifiedExtraction.Benchmarks.lib.vs]
| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1589 entries) |
| Notation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (10 entries) |
| Module Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (24 entries) |
| Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (137 entries) |
| Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (50 entries) |
| Axiom Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (26 entries) |
| Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (262 entries) |
| Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (184 entries) |
| Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (45 entries) |
| Projection Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (37 entries) |
| Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (26 entries) |
| Instance Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (19 entries) |
| Abbreviation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (15 entries) |
| Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (742 entries) |
| Record Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (12 entries) |