Patterns
Discrete pattern algebra used throughout the recognition lattice.
| module | thm | lemma | def | lines | papers |
|---|---|---|---|---|---|
Patterns |
3 | 4 | 1 | 116 | 4 |
Patterns.GrayCode |
0 | 0 | 3 | 57 | — |
Patterns.GrayCodeAxioms |
5 | 0 | 1 | 155 | — |
Patterns.GrayCycle |
9 | 2 | 7 | 220 | — |
Patterns.GrayCycleBRGC |
4 | 6 | 4 | 448 | — |
Patterns.GrayCycleGeneral |
6 | 5 | 4 | 339 | — |
Patterns.TwoToTheDMinusOne |
4 | 0 | 3 | 204 | — |