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)

## S (inductive)

Set [in Coq.ZArith.Zpower]
Set [in Coq.Lists.Streams]
sig [in Coq.Init.Specif]
sigS [in Coq.Init.Specif]
sigS2 [in Coq.Init.Specif]
sigT [in Coq.Reals.TypeSyntax]
sigT [in Coq.Init.Specif]
sigTT [in Coq.Reals.TypeSyntax]
sig2 [in Coq.Init.Specif]
Singleton [in Coq.Sets.Ensembles]
sort [in Coq.Sorting.Sorting]
sum [in Coq.Init.Datatypes]
sumbool [in Coq.Init.Specif]
sumboolT [in Coq.Reals.TypeSyntax]
sumor [in Coq.Init.Specif]
sumorT [in Coq.Reals.TypeSyntax]
swapprod [in Coq.Relations.Relation_Operators]
symprod [in Coq.Relations.Relation_Operators]