Conceptintro
Geometry primitives
Basic geometric operations such as cross product, dot product, orientation tests and segment intersection used in computational geometry.
Basic geometric operations such as cross product, dot product, orientation tests and segment intersection used in computational geometry.
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 MYT44B Edit this page History Report an error