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 | - |