Definitionintro
Hamming distance
Also called Hamming distance between equal-length strings, Hamming metric.
Number of coordinates in which two words of equal length differ.
Number of coordinates in which two words of equal length differ.
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 ZXVGP4 Edit this page History Report an error