Techniquecore
Canonicalization
Maps equivalent objects to one standard representative form so that equality can be tested by simple comparison or hashing.
Maps equivalent objects to one standard representative form so that equality can be tested by simple comparison or hashing.
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 Z36CVT Edit this page History Report an error