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)

## Z (definition)

Zabs [in Coq.ZArith.zarith_aux]
Zcompare [in Coq.ZArith.fast_integer]
Zdiv [in Coq.ZArith.Zcomplements]
Zdiv2 [in Coq.ZArith.Zmisc]
Zdiv2_pos [in Coq.ZArith.Zmisc]
Zdiv_rest [in Coq.ZArith.Zpower]
Zdiv_rest_aux [in Coq.ZArith.Zpower]
Zeq_bool [in Coq.ZArith.Zmisc]
zerob [in Coq.Bool.Zerob]
Zero_suivi_de [in Coq.ZArith.fast_integer]
Zeven [in Coq.ZArith.Zmisc]
Zeven_bool [in Coq.ZArith.Zmisc]
Zge [in Coq.ZArith.zarith_aux]
Zge_bool [in Coq.ZArith.Zmisc]
Zgt [in Coq.ZArith.zarith_aux]
Zgt_bool [in Coq.ZArith.Zmisc]
Zle [in Coq.ZArith.zarith_aux]
Zle_bool [in Coq.ZArith.Zmisc]
Zlt [in Coq.ZArith.zarith_aux]
Zlt_bool [in Coq.ZArith.Zmisc]
Zmin [in Coq.ZArith.zarith_aux]
Zminus [in Coq.ZArith.zarith_aux]
Zmod [in Coq.ZArith.Zcomplements]
Zmult [in Coq.ZArith.fast_integer]
Zmult_plus_distr [in Coq.ZArith.zarith_aux]
Zmult_Zplus_distr [in Coq.ZArith.zarith_aux]
Zne [in Coq.ZArith.auxiliary]
Zneq_bool [in Coq.ZArith.Zmisc]
Zodd [in Coq.ZArith.Zmisc]
Zodd_bool [in Coq.ZArith.Zmisc]
Zopp [in Coq.ZArith.fast_integer]
Zplus [in Coq.ZArith.fast_integer]
Zpower [in Coq.ZArith.Zpower]
Zpower_nat [in Coq.ZArith.Zpower]
Zpower_pos [in Coq.ZArith.Zpower]
Zpred [in Coq.ZArith.zarith_aux]
Zs [in Coq.ZArith.zarith_aux]
Zsgn [in Coq.ZArith.zarith_aux]
Z_noteq_dec [in Coq.ZArith.ZArith_dec]
Z_notzerop [in Coq.ZArith.ZArith_dec]
Z_of_entier [in Coq.ZArith.Zmisc]

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)