Conceptintro
Point and vector
Basic geometric objects representing a position in the plane and a displacement, with coordinate arithmetic such as addition, subtraction and scaling.
Basic geometric objects representing a position in the plane and a displacement, with coordinate arithmetic such as addition, subtraction and scaling.
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 KWRFF4 Edit this page History Report an error