Techniquecore
Path copying
Also called path-copying method, copy-on-write path.
To update a node, copy the nodes on the root-to-node path and share everything else.
To update a node, copy the nodes on the root-to-node path and share everything else.
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 6XA3BY Edit this page History Report an error