The Coq standard library

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 | _ | (3647 entries)
Tactic 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 | _ | (9 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 | _ | (107 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 | _ | (2540 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 | _ | (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 | _ | (118 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 | _ | (523 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 | _ | (166 entries)

## F (definition)

f [in Coq.Logic.Berardi]
fact [in Coq.Reals.Rfunctions]
fast_OMEGA10 [in Coq.ZArith.auxiliary]
fast_OMEGA11 [in Coq.ZArith.auxiliary]
fast_OMEGA12 [in Coq.ZArith.auxiliary]
fast_OMEGA13 [in Coq.ZArith.auxiliary]
fast_OMEGA14 [in Coq.ZArith.auxiliary]
fast_OMEGA15 [in Coq.ZArith.auxiliary]
fast_OMEGA16 [in Coq.ZArith.auxiliary]
fast_Zmult_assoc_r [in Coq.ZArith.auxiliary]
fast_Zmult_plus_distr [in Coq.ZArith.auxiliary]
fast_Zmult_sym [in Coq.ZArith.auxiliary]
fast_Zmult_Zopp_left [in Coq.ZArith.auxiliary]
fast_Zopp_one [in Coq.ZArith.auxiliary]
fast_Zopp_Zmult_r [in Coq.ZArith.auxiliary]
fast_Zopp_Zopp [in Coq.ZArith.auxiliary]
fast_Zopp_Zplus [in Coq.ZArith.auxiliary]
fast_Zplus_assoc_l [in Coq.ZArith.auxiliary]
fast_Zplus_assoc_r [in Coq.ZArith.auxiliary]
fast_Zplus_permute [in Coq.ZArith.auxiliary]
fast_Zplus_sym [in Coq.ZArith.auxiliary]
fast_Zred_factor0 [in Coq.ZArith.auxiliary]
fast_Zred_factor1 [in Coq.ZArith.auxiliary]
fast_Zred_factor2 [in Coq.ZArith.auxiliary]
fast_Zred_factor3 [in Coq.ZArith.auxiliary]
fast_Zred_factor4 [in Coq.ZArith.auxiliary]
fast_Zred_factor5 [in Coq.ZArith.auxiliary]
fast_Zred_factor6 [in Coq.ZArith.auxiliary]
fct_cte [in Coq.Reals.Ranalysis]
find [in Coq.Lists.TheoryList]
fix [in Coq.Init.Wf]
Fix_F [in Coq.Init.Wf]
flat_map [in Coq.Lists.PolyList]
fleche [in Coq.Setoids.Setoid]
floor [in Coq.ZArith.Zcomplements]
floor_pos [in Coq.ZArith.Zcomplements]
fold_left [in Coq.Lists.PolyList]
fold_right [in Coq.Lists.PolyList]
frac_part [in Coq.Reals.R_Ifp]
FSet [in Coq.IntMap.Fset]
FSetDelta [in Coq.IntMap.Fset]
FSetDiff [in Coq.IntMap.Fset]
FSetInter [in Coq.IntMap.Fset]
FSetUnion [in Coq.IntMap.Fset]
fst [in Coq.Init.Datatypes]
Fst [in Coq.Init.Datatypes]
fstT [in Coq.Init.Logic_Type]
Fullset [in Coq.Sets.Uniset]

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 | _ | (3647 entries)
Tactic 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 | _ | (9 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 | _ | (107 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 | _ | (2540 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 | _ | (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 | _ | (118 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 | _ | (523 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 | _ | (166 entries)