| 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) |
R
rawapp [definition, in Malfunction.Serialize]RClos [constructor, in Malfunction.SemanticsSpec]
Realizability [section, in Malfunction.RealizabilitySemantics]
RealizabilitySemantics [library]
Realizability.globals [variable, in Malfunction.RealizabilitySemantics]
Realizability.Values [section, in Malfunction.RealizabilitySemantics]
Realizability.Values.global_adt [variable, in Malfunction.RealizabilitySemantics]
Realizability.Values.local_adt [variable, in Malfunction.RealizabilitySemantics]
Realizability._Heap [variable, in Malfunction.RealizabilitySemantics]
Realizability._Ptr [variable, in Malfunction.RealizabilitySemantics]
realize_ADT_mono [lemma, in Malfunction.Firstorder]
realize_term_mono [lemma, in Malfunction.Firstorder]
realize_adt_value_fo [lemma, in Malfunction.Firstorder]
realize_ADT [definition, in Malfunction.RealizabilitySemantics]
realize_ADT_gen [definition, in Malfunction.RealizabilitySemantics]
realize_ADT_gen_fix [definition, in Malfunction.RealizabilitySemantics]
realize_value [definition, in Malfunction.RealizabilitySemantics]
realize_term [definition, in Malfunction.RealizabilitySemantics]
realize_adt_type [definition, in Malfunction.RealizabilitySemantics]
Recursive [constructor, in Malfunction.Malfunction]
rec_value_sind [definition, in Malfunction.SemanticsSpec]
rec_value_rec [definition, in Malfunction.SemanticsSpec]
rec_value_ind [definition, in Malfunction.SemanticsSpec]
rec_value_rect [definition, in Malfunction.SemanticsSpec]
rec_value [inductive, in Malfunction.SemanticsSpec]
red_eval [lemma, in Malfunction.PipelineCorrect]
Rel [constructor, in Malfunction.RealizabilitySemantics]
remove_node [definition, in VerifiedExtraction.Benchmarks.lib.Color]
remove_decreases [lemma, in VerifiedExtraction.Benchmarks.lib.vs]
remove_trivial_atoms [definition, in VerifiedExtraction.Benchmarks.lib.vs]
reorder_cstrs [projection, in Malfunction.Pipeline]
represent_value_eval_fo [lemma, in Malfunction.PipelineCorrect]
ret_kind_sind [definition, in VerifiedExtraction.Benchmarks.lib.vs]
ret_kind_rec [definition, in VerifiedExtraction.Benchmarks.lib.vs]
ret_kind_ind [definition, in VerifiedExtraction.Benchmarks.lib.vs]
ret_kind_rect [definition, in VerifiedExtraction.Benchmarks.lib.vs]
ret_kind [inductive, in VerifiedExtraction.Benchmarks.lib.vs]
revc [definition, in VerifiedExtraction.Benchmarks.lib.vs]
revc [section, in VerifiedExtraction.Benchmarks.lib.vs]
revc.A [variable, in VerifiedExtraction.Benchmarks.lib.vs]
revc.c [variable, in VerifiedExtraction.Benchmarks.lib.vs]
rev_cmp_eq [lemma, in VerifiedExtraction.Benchmarks.lib.vs]
rev_cmp [definition, in VerifiedExtraction.Benchmarks.lib.vs]
rewriteC [definition, in VerifiedExtraction.Benchmarks.lib.vs]
RFunc [constructor, in Malfunction.SemanticsSpec]
RFunc_build [definition, in Malfunction.SemanticsSpec]
right_flags_in_term [projection, in Malfunction.Pipeline]
right_flags_in_glob [projection, in Malfunction.Pipeline]
RocqMsgFFI [library]
RocqType_to_camlType_fo_irr [lemma, in Malfunction.Firstorder]
RocqType_to_camlType'_Rel [lemma, in Malfunction.Firstorder]
RocqType_to_camlType'_unfold [lemma, in Malfunction.Firstorder]
RocqType_to_camlType_oneind_Rel [lemma, in Malfunction.Firstorder]
RocqType_to_camlType_oneind_type_Rel [lemma, in Malfunction.Firstorder]
RocqType_to_camlType_oneind_nth' [lemma, in Malfunction.Firstorder]
RocqType_to_camlType_oneind_nth [lemma, in Malfunction.Firstorder]
RocqType_to_camlType_oneind_nth_ctors [lemma, in Malfunction.Firstorder]
RocqType_to_camlType_ind_ctor_app [lemma, in Malfunction.Firstorder]
RocqType_to_camlType_ind_ctors_length [lemma, in Malfunction.Firstorder]
RocqType_to_camlType_ind_ctors_nth [lemma, in Malfunction.Firstorder]
RocqType_to_camlType [definition, in Malfunction.Firstorder]
RocqType_to_camlType'_nth_length [lemma, in Malfunction.Firstorder]
RocqType_to_camlType'_nth [lemma, in Malfunction.Firstorder]
RocqType_to_camlType_oneind_length [lemma, in Malfunction.Firstorder]
RocqType_to_camlType'_length [lemma, in Malfunction.Firstorder]
RocqType_to_camlType'_fo_alt [lemma, in Malfunction.Firstorder]
RocqType_to_camlType'_fo [lemma, in Malfunction.Firstorder]
RocqType_to_camlType' [definition, in Malfunction.Firstorder]
RocqType_to_camlType_fix [definition, in Malfunction.Firstorder]
RocqType_to_camlType_oneind_fo [lemma, in Malfunction.Firstorder]
RocqType_to_camlType_oneind_type_fo [lemma, in Malfunction.Firstorder]
RocqType_to_camlType_oneind [definition, in Malfunction.Firstorder]
RocqType_to_camlType_ind_ctors [definition, in Malfunction.Firstorder]
RocqType_to_camlType_ind_ctor [definition, in Malfunction.Firstorder]
RocqType_to_camlType_oneind_type [definition, in Malfunction.Firstorder]
RocqValue_to_CamlValue' [lemma, in Malfunction.Firstorder]
RocqValue_to_CamlValue [lemma, in Malfunction.Firstorder]
rocq_true [definition, in Top.tutorial]
rsort [definition, in VerifiedExtraction.Benchmarks.lib.vs]
rsort_uniq_in [lemma, in VerifiedExtraction.Benchmarks.lib.vs]
rsort_uniq [definition, in VerifiedExtraction.Benchmarks.lib.vs]
RThunk [constructor, in Malfunction.SemanticsSpec]
run [definition, in VerifiedExtraction.Benchmarks.lib.Color]
R_heap [projection, in Malfunction.RealizabilitySemantics]
R_heap [projection, in Malfunction.Interpreter]
R_ptr [projection, in Malfunction.Interpreter]
| 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) |