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 | (72745 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 | (1016 entries)
Binder 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 | (47313 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 | (784 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 | (1547 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 | (583 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 | (11764 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 | (627 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 | (492 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 | (903 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 | (1448 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 | (4360 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)

## X (constructor)

X [in Coq.micromega.Tauto]
xaa [in Coq.Init.Byte]
xab [in Coq.Init.Byte]
xac [in Coq.Init.Byte]
xad [in Coq.Init.Byte]
xae [in Coq.Init.Byte]
xaf [in Coq.Init.Byte]
xa0 [in Coq.Init.Byte]
xa1 [in Coq.Init.Byte]
xa2 [in Coq.Init.Byte]
xa3 [in Coq.Init.Byte]
xa4 [in Coq.Init.Byte]
xa5 [in Coq.Init.Byte]
xa6 [in Coq.Init.Byte]
xa7 [in Coq.Init.Byte]
xa8 [in Coq.Init.Byte]
xa9 [in Coq.Init.Byte]
xba [in Coq.Init.Byte]
xbb [in Coq.Init.Byte]
xbc [in Coq.Init.Byte]
xbd [in Coq.Init.Byte]
xbe [in Coq.Init.Byte]
xbf [in Coq.Init.Byte]
xb0 [in Coq.Init.Byte]
xb1 [in Coq.Init.Byte]
xb2 [in Coq.Init.Byte]
xb3 [in Coq.Init.Byte]
xb4 [in Coq.Init.Byte]
xb5 [in Coq.Init.Byte]
xb6 [in Coq.Init.Byte]
xb7 [in Coq.Init.Byte]
xb8 [in Coq.Init.Byte]
xb9 [in Coq.Init.Byte]
xca [in Coq.Init.Byte]
xcb [in Coq.Init.Byte]
xcc [in Coq.Init.Byte]
xcd [in Coq.Init.Byte]
xce [in Coq.Init.Byte]
xcf [in Coq.Init.Byte]
xc0 [in Coq.Init.Byte]
xc1 [in Coq.Init.Byte]
xc2 [in Coq.Init.Byte]
xc3 [in Coq.Init.Byte]
xc4 [in Coq.Init.Byte]
xc5 [in Coq.Init.Byte]
xc6 [in Coq.Init.Byte]
xc7 [in Coq.Init.Byte]
xc8 [in Coq.Init.Byte]
xc9 [in Coq.Init.Byte]
xda [in Coq.Init.Byte]
xdb [in Coq.Init.Byte]
xdc [in Coq.Init.Byte]
xdd [in Coq.Init.Byte]
xde [in Coq.Init.Byte]
xdf [in Coq.Init.Byte]
xd0 [in Coq.Init.Byte]
xd1 [in Coq.Init.Byte]
xd2 [in Coq.Init.Byte]
xd3 [in Coq.Init.Byte]
xd4 [in Coq.Init.Byte]
xd5 [in Coq.Init.Byte]
xd6 [in Coq.Init.Byte]
xd7 [in Coq.Init.Byte]
xd8 [in Coq.Init.Byte]
xd9 [in Coq.Init.Byte]
xea [in Coq.Init.Byte]
xeb [in Coq.Init.Byte]
xec [in Coq.Init.Byte]
xed [in Coq.Init.Byte]
xee [in Coq.Init.Byte]
xef [in Coq.Init.Byte]
xe0 [in Coq.Init.Byte]
xe1 [in Coq.Init.Byte]
xe2 [in Coq.Init.Byte]
xe3 [in Coq.Init.Byte]
xe4 [in Coq.Init.Byte]
xe5 [in Coq.Init.Byte]
xe6 [in Coq.Init.Byte]
xe7 [in Coq.Init.Byte]
xe8 [in Coq.Init.Byte]
xe9 [in Coq.Init.Byte]
xfa [in Coq.Init.Byte]
xfb [in Coq.Init.Byte]
xfc [in Coq.Init.Byte]
xfd [in Coq.Init.Byte]
xfe [in Coq.Init.Byte]
xff [in Coq.Init.Byte]
xf0 [in Coq.Init.Byte]
xf1 [in Coq.Init.Byte]
xf2 [in Coq.Init.Byte]
xf3 [in Coq.Init.Byte]
xf4 [in Coq.Init.Byte]
xf5 [in Coq.Init.Byte]
xf6 [in Coq.Init.Byte]
xf7 [in Coq.Init.Byte]
xf8 [in Coq.Init.Byte]
xf9 [in Coq.Init.Byte]
xH [in Coq.Numbers.BinNums]
xI [in Coq.Numbers.BinNums]
xO [in Coq.Numbers.BinNums]
x0a [in Coq.Init.Byte]
x0b [in Coq.Init.Byte]
x0c [in Coq.Init.Byte]
x0d [in Coq.Init.Byte]
x0e [in Coq.Init.Byte]
x0f [in Coq.Init.Byte]
x00 [in Coq.Init.Byte]
x01 [in Coq.Init.Byte]
x02 [in Coq.Init.Byte]
x03 [in Coq.Init.Byte]
x04 [in Coq.Init.Byte]
x05 [in Coq.Init.Byte]
x06 [in Coq.Init.Byte]
x07 [in Coq.Init.Byte]
x08 [in Coq.Init.Byte]
x09 [in Coq.Init.Byte]
x1a [in Coq.Init.Byte]
x1b [in Coq.Init.Byte]
x1c [in Coq.Init.Byte]
x1d [in Coq.Init.Byte]
x1e [in Coq.Init.Byte]
x1f [in Coq.Init.Byte]
x10 [in Coq.Init.Byte]
x11 [in Coq.Init.Byte]
x12 [in Coq.Init.Byte]
x13 [in Coq.Init.Byte]
x14 [in Coq.Init.Byte]
x15 [in Coq.Init.Byte]
x16 [in Coq.Init.Byte]
x17 [in Coq.Init.Byte]
x18 [in Coq.Init.Byte]
x19 [in Coq.Init.Byte]
x2a [in Coq.Init.Byte]
x2b [in Coq.Init.Byte]
x2c [in Coq.Init.Byte]
x2d [in Coq.Init.Byte]
x2e [in Coq.Init.Byte]
x2f [in Coq.Init.Byte]
x20 [in Coq.Init.Byte]
x21 [in Coq.Init.Byte]
x22 [in Coq.Init.Byte]
x23 [in Coq.Init.Byte]
x24 [in Coq.Init.Byte]
x25 [in Coq.Init.Byte]
x26 [in Coq.Init.Byte]
x27 [in Coq.Init.Byte]
x28 [in Coq.Init.Byte]
x29 [in Coq.Init.Byte]
x3a [in Coq.Init.Byte]
x3b [in Coq.Init.Byte]
x3c [in Coq.Init.Byte]
x3d [in Coq.Init.Byte]
x3e [in Coq.Init.Byte]
x3f [in Coq.Init.Byte]
x30 [in Coq.Init.Byte]
x31 [in Coq.Init.Byte]
x32 [in Coq.Init.Byte]
x33 [in Coq.Init.Byte]
x34 [in Coq.Init.Byte]
x35 [in Coq.Init.Byte]
x36 [in Coq.Init.Byte]
x37 [in Coq.Init.Byte]
x38 [in Coq.Init.Byte]
x39 [in Coq.Init.Byte]
x4a [in Coq.Init.Byte]
x4b [in Coq.Init.Byte]
x4c [in Coq.Init.Byte]
x4d [in Coq.Init.Byte]
x4e [in Coq.Init.Byte]
x4f [in Coq.Init.Byte]
x40 [in Coq.Init.Byte]
x41 [in Coq.Init.Byte]
x42 [in Coq.Init.Byte]
x43 [in Coq.Init.Byte]
x44 [in Coq.Init.Byte]
x45 [in Coq.Init.Byte]
x46 [in Coq.Init.Byte]
x47 [in Coq.Init.Byte]
x48 [in Coq.Init.Byte]
x49 [in Coq.Init.Byte]
x5a [in Coq.Init.Byte]
x5b [in Coq.Init.Byte]
x5c [in Coq.Init.Byte]
x5d [in Coq.Init.Byte]
x5e [in Coq.Init.Byte]
x5f [in Coq.Init.Byte]
x50 [in Coq.Init.Byte]
x51 [in Coq.Init.Byte]
x52 [in Coq.Init.Byte]
x53 [in Coq.Init.Byte]
x54 [in Coq.Init.Byte]
x55 [in Coq.Init.Byte]
x56 [in Coq.Init.Byte]
x57 [in Coq.Init.Byte]
x58 [in Coq.Init.Byte]
x59 [in Coq.Init.Byte]
x6a [in Coq.Init.Byte]
x6b [in Coq.Init.Byte]
x6c [in Coq.Init.Byte]
x6d [in Coq.Init.Byte]
x6e [in Coq.Init.Byte]
x6f [in Coq.Init.Byte]
x60 [in Coq.Init.Byte]
x61 [in Coq.Init.Byte]
x62 [in Coq.Init.Byte]
x63 [in Coq.Init.Byte]
x64 [in Coq.Init.Byte]
x65 [in Coq.Init.Byte]
x66 [in Coq.Init.Byte]
x67 [in Coq.Init.Byte]
x68 [in Coq.Init.Byte]
x69 [in Coq.Init.Byte]
x7a [in Coq.Init.Byte]
x7b [in Coq.Init.Byte]
x7c [in Coq.Init.Byte]
x7d [in Coq.Init.Byte]
x7e [in Coq.Init.Byte]
x7f [in Coq.Init.Byte]
x70 [in Coq.Init.Byte]
x71 [in Coq.Init.Byte]
x72 [in Coq.Init.Byte]
x73 [in Coq.Init.Byte]
x74 [in Coq.Init.Byte]
x75 [in Coq.Init.Byte]
x76 [in Coq.Init.Byte]
x77 [in Coq.Init.Byte]
x78 [in Coq.Init.Byte]
x79 [in Coq.Init.Byte]
x8a [in Coq.Init.Byte]
x8b [in Coq.Init.Byte]
x8c [in Coq.Init.Byte]
x8d [in Coq.Init.Byte]
x8e [in Coq.Init.Byte]
x8f [in Coq.Init.Byte]
x80 [in Coq.Init.Byte]
x81 [in Coq.Init.Byte]
x82 [in Coq.Init.Byte]
x83 [in Coq.Init.Byte]
x84 [in Coq.Init.Byte]
x85 [in Coq.Init.Byte]
x86 [in Coq.Init.Byte]
x87 [in Coq.Init.Byte]
x88 [in Coq.Init.Byte]
x89 [in Coq.Init.Byte]
x9a [in Coq.Init.Byte]
x9b [in Coq.Init.Byte]
x9c [in Coq.Init.Byte]
x9d [in Coq.Init.Byte]
x9e [in Coq.Init.Byte]
x9f [in Coq.Init.Byte]
x90 [in Coq.Init.Byte]
x91 [in Coq.Init.Byte]
x92 [in Coq.Init.Byte]
x93 [in Coq.Init.Byte]
x94 [in Coq.Init.Byte]
x95 [in Coq.Init.Byte]
x96 [in Coq.Init.Byte]
x97 [in Coq.Init.Byte]
x98 [in Coq.Init.Byte]
x99 [in Coq.Init.Byte]

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 | (72745 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 | (1016 entries)
Binder 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 | (47313 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 | (784 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 | (1547 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 | (583 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 | (11764 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 | (627 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 | (492 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 | (903 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 | (1448 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 | (4360 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)