Conceptintro
Oriented area of a triangle
Signed area of a triangle computed from the cross product of two edge vectors, whose sign gives the orientation of its vertices.
Signed area of a triangle computed from the cross product of two edge vectors, whose sign gives the orientation of its vertices.
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 PA94WX Edit this page History Report an error