| 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) |
S
S [module, in VerifiedExtraction.Benchmarks.lib.Color]select_terminates [lemma, in VerifiedExtraction.Benchmarks.lib.Color]
SemanticsSpec [library]
SemiIntegral_int [instance, in Malfunction.Deserialize]
Serialize [library]
Serialize_module [definition, in Malfunction.Serialize]
Serialize_binding [instance, in Malfunction.Serialize]
Serialize_t [instance, in Malfunction.Serialize]
Serialize_singleton_list [definition, in Malfunction.Serialize]
Serialize_binary_num_op [instance, in Malfunction.Serialize]
Serialize_binary_comparison [instance, in Malfunction.Serialize]
Serialize_binary_bitwise_op [instance, in Malfunction.Serialize]
Serialize_binary_arith_op [instance, in Malfunction.Serialize]
Serialize_unary_num_op [instance, in Malfunction.Serialize]
Serialize_case [instance, in Malfunction.Serialize]
Serialize_numconst [instance, in Malfunction.Serialize]
Serialize_int [instance, in Malfunction.Serialize]
Serialize_Ident [instance, in Malfunction.Serialize]
settest [definition, in Top.test_extraction_malfunction]
settest [definition, in Top.test_primarray_ffi]
shared_lib_register [definition, in Malfunction.Serialize]
Shared_lib [constructor, in Malfunction.Serialize]
sha256 [library]
sint_to_Z [definition, in Malfunction.Serialize]
Sin_domain [lemma, in VerifiedExtraction.Benchmarks.lib.Color]
smash [definition, in VerifiedExtraction.Benchmarks.lib.Binom]
snd [projection, in Top.test_extract]
Snot_in_empty [lemma, in VerifiedExtraction.Benchmarks.lib.Color]
something [section, in Top.Tests]
sort [definition, in append]
sorted [definition, in append]
SortE_equivlistE_eqlistE [lemma, in VerifiedExtraction.Benchmarks.lib.Color]
sortu_clauses [abbreviation, in VerifiedExtraction.Benchmarks.lib.vs]
sortu_atms [abbreviation, in VerifiedExtraction.Benchmarks.lib.vs]
space_atom_sind [definition, in VerifiedExtraction.Benchmarks.lib.vs]
space_atom_rec [definition, in VerifiedExtraction.Benchmarks.lib.vs]
space_atom_ind [definition, in VerifiedExtraction.Benchmarks.lib.vs]
space_atom_rect [definition, in VerifiedExtraction.Benchmarks.lib.vs]
space_atom [inductive, in VerifiedExtraction.Benchmarks.lib.vs]
splitfirst [definition, in Malfunction.Deserialize]
splitlast [definition, in Malfunction.Deserialize]
split_dot [definition, in Malfunction.Serialize]
SqlQueries3 [library]
Sremove_cardinal_less [lemma, in VerifiedExtraction.Benchmarks.lib.Color]
Sremove_elements [lemma, in VerifiedExtraction.Benchmarks.lib.Color]
Standalone [constructor, in Malfunction.Serialize]
StrictCompSpec [definition, in VerifiedExtraction.Benchmarks.lib.vs]
StrictOrder_lt [lemma, in VerifiedExtraction.Benchmarks.lib.Color]
string_of_specfloat [definition, in Malfunction.Serialize]
string_of_primstring [definition, in Malfunction.Compile]
Sub [constructor, in Malfunction.Malfunction]
sub [definition, in Top.test_extract]
sub [definition, in Top.tutorial]
subset_nodes_sub [lemma, in VerifiedExtraction.Benchmarks.lib.Color]
subset_nodes [definition, in VerifiedExtraction.Benchmarks.lib.Color]
subst_instance_empty_ctx [lemma, in Malfunction.Firstorder]
subst_clause [definition, in VerifiedExtraction.Benchmarks.lib.vs]
subst_pures_delete [definition, in VerifiedExtraction.Benchmarks.lib.vs]
subst_pures [definition, in VerifiedExtraction.Benchmarks.lib.vs]
subst_pure [definition, in VerifiedExtraction.Benchmarks.lib.vs]
subst_assertion [definition, in VerifiedExtraction.Benchmarks.lib.vs]
subst_spaces [definition, in VerifiedExtraction.Benchmarks.lib.vs]
subst_space [definition, in VerifiedExtraction.Benchmarks.lib.vs]
subst_pns [definition, in VerifiedExtraction.Benchmarks.lib.vs]
subst_pn [definition, in VerifiedExtraction.Benchmarks.lib.vs]
subst_expr [definition, in VerifiedExtraction.Benchmarks.lib.vs]
subst_var [definition, in VerifiedExtraction.Benchmarks.lib.vs]
Success [constructor, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition [module, in VerifiedExtraction.Benchmarks.lib.vs]
SUPERPOSITION [module, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.Aborted [constructor, in VerifiedExtraction.Benchmarks.lib.vs]
SUPERPOSITION.Aborted [constructor, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.apply_model [definition, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.check [definition, in VerifiedExtraction.Benchmarks.lib.vs]
SUPERPOSITION.check [axiom, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.check_clauseset [definition, in VerifiedExtraction.Benchmarks.lib.vs]
SUPERPOSITION.check_clauseset [axiom, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.clause_generate [definition, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.C_example [constructor, in VerifiedExtraction.Benchmarks.lib.vs]
SUPERPOSITION.C_example [constructor, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.delete_resolved [definition, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.demodulate [definition, in VerifiedExtraction.Benchmarks.lib.vs]
SUPERPOSITION.demodulate [axiom, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.ef [definition, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.ef_aux [definition, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.infer [definition, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.is_unit_clause [definition, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.is_empty_clause [definition, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.is_model_of_PI [definition, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.is_model_of [definition, in VerifiedExtraction.Benchmarks.lib.vs]
SUPERPOSITION.is_model_of_PI [axiom, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.model [definition, in VerifiedExtraction.Benchmarks.lib.vs]
SUPERPOSITION.model [definition, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.not_taut [definition, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.partial_mod [definition, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.Ppred_decrease [lemma, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.purecnf [definition, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.pure_atom_gt1 [definition, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.reduces [definition, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.rewrite_clause_in_space [definition, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.rewrite_in_space [definition, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.rewrite_by [definition, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.rewrite_expr [definition, in VerifiedExtraction.Benchmarks.lib.vs]
SUPERPOSITION.rewrite_by [axiom, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.simplify [definition, in VerifiedExtraction.Benchmarks.lib.vs]
SUPERPOSITION.simplify [axiom, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.simplify_atoms [definition, in VerifiedExtraction.Benchmarks.lib.vs]
SUPERPOSITION.simplify_atoms [axiom, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.sp [definition, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.superposition_result_sind [definition, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.superposition_result_rec [definition, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.superposition_result_ind [definition, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.superposition_result_rect [definition, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.superposition_result [inductive, in VerifiedExtraction.Benchmarks.lib.vs]
SUPERPOSITION.superposition_result_sind [definition, in VerifiedExtraction.Benchmarks.lib.vs]
SUPERPOSITION.superposition_result_rec [definition, in VerifiedExtraction.Benchmarks.lib.vs]
SUPERPOSITION.superposition_result_ind [definition, in VerifiedExtraction.Benchmarks.lib.vs]
SUPERPOSITION.superposition_result_rect [definition, in VerifiedExtraction.Benchmarks.lib.vs]
SUPERPOSITION.superposition_result [inductive, in VerifiedExtraction.Benchmarks.lib.vs]
Superposition.Valid [constructor, in VerifiedExtraction.Benchmarks.lib.vs]
SUPERPOSITION.Valid [constructor, in VerifiedExtraction.Benchmarks.lib.vs]
switchable_erasure_pipeline [definition, in Malfunction.Pipeline]
| 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) |