Standard Library | The Coq Proof Assistant

The Coq Proof Assistant

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 | (26611 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 | (1022 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 | (806 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 | (1548 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 | (595 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 | (12054 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 | (959 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 | (629 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 | (308 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 | (475 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 | (505 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 | (912 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 | (1508 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 | (5124 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 | (166 entries)

## E (abbreviation)

ecast [in Coq.ssr.ssrfun]
El [in Coq.Logic.ClassicalFacts]
emin [in Coq.Floats.FloatOps]
eps [in Coq.Logic.Diaconescu]
EpsilonStatement [in Coq.Logic.ChoiceFacts]
eqb [in Coq.Numbers.Cyclic.Int63.Uint63]
EqDeltaProjs [in Coq.Logic.ExtensionalityFacts]
EqdepTheory.inj_pairT2 [in Coq.Logic.EqdepFacts]
equiv_eqex_eqdep [in Coq.Logic.EqdepFacts]
eq_dep_eq__inj_pairT2 [in Coq.Logic.EqdepFacts]
eq_dep_eq_positive [in Coq.PArith.BinPos]
eq_nat_dec [in Coq.Arith.Peano_dec]
erefl [in Coq.ssr.ssrfun]
euclid [in Coq.ZArith.Znumtheory]
Euclid [in Coq.ZArith.Znumtheory]
euclid_rec [in Coq.ZArith.Znumtheory]
Euclid_intro [in Coq.ZArith.Znumtheory]
even [in Coq.Numbers.Natural.Peano.NPeano]
Even [in Coq.Numbers.Natural.Peano.NPeano]
even [in Coq.Arith.Even]
even_spec [in Coq.Numbers.Natural.Peano.NPeano]
even_2n [in Coq.Arith.Div2]
even_double [in Coq.Arith.Div2]
even_odd_double [in Coq.Arith.Div2]
even_odd_div2 [in Coq.Arith.Div2]
even_div2 [in Coq.Arith.Div2]
even_mult_inv_l [in Coq.Arith.Even]
even_mult_inv_r [in Coq.Arith.Even]
even_mult_r [in Coq.Arith.Even]
even_mult_l [in Coq.Arith.Even]
even_mult_aux [in Coq.Arith.Even]
even_plus_odd_inv_l [in Coq.Arith.Even]
even_plus_odd_inv_r [in Coq.Arith.Even]
even_plus_even_inv_l [in Coq.Arith.Even]
even_plus_even_inv_r [in Coq.Arith.Even]
even_plus_aux [in Coq.Arith.Even]
even_even_plus [in Coq.Arith.Even]
even_plus_split [in Coq.Arith.Even]
even_odd_dec [in Coq.Arith.Even]
even_or_odd [in Coq.Arith.Even]
even_equiv [in Coq.Arith.Even]
even_sind [in Coq.Arith.Even]
even_ind [in Coq.Arith.Even]
even_S [in Coq.Arith.Even]
even_O [in Coq.Arith.Even]
ExtensionalFunctionRepresentative [in Coq.Logic.ChoiceFacts]
ExtensionalPredicateRepresentative [in Coq.Logic.ChoiceFacts]
ExtensionalPropositionRepresentative [in Coq.Logic.ChoiceFacts]

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 | (26611 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 | (1022 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 | (806 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 | (1548 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 | (595 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 | (12054 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 | (959 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 | (629 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 | (308 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 | (475 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 | (505 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 | (912 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 | (1508 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 | (5124 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 | (166 entries)