Dependencies
- Boxes
- definitions
- Ellipses
- theorems and lemmas
- Notes
- examples and proof plans
- Dotted edge
- the theorem has an attached proof plan
- Transparent background
- not yet reviewed (staged, needs review, or blocked)
- Blue background
- natural-language statement and proof accepted (admitted)
- Green background
- formalized in Lean
Proof routes