Conceptintro
Network depth
Also called parallel time of a network, number of layers.
The longest chain of comparators on any wire, i.e. the parallel running time of the network.
The longest chain of comparators on any wire, i.e. the parallel running time of the network.
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 MF2BDW Edit this page History Report an error