Definitionadvanced
Balanced Gray code
Also called Bhat-Savage balanced Gray code.
A cyclic Gray code in which every bit position changes as close to equally often as possible.
A cyclic Gray code in which every bit position changes as close to equally often as possible.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag 6ZVXYP Edit this page History Report an error