Techniqueintro
Convergecast
Also called tree aggregation, upward aggregation.
Values flow from the leaves of a tree toward the root, combined at each internal node.
Values flow from the leaves of a tree toward the root, combined at each internal node.
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 T9HDCH Edit this page History Report an error