Last modified: 2026-11-07 02:32:23 (PST)
Every definition and theorem in these notes is one box, colored by kind. A box sits below each definition and theorem it uses, so the ones that use no others are at the top. Hover over a box to see its name, and click it to open its page.
---
title: "Dependency Tree"
format:
html: default
revealjs:
output-file: dependency-tree-slides.html
pdf:
output-file: dependency-tree-handout.pdf
docx:
output-file: dependency-tree.docx
---
# How to read the tree {.unnumbered}
Every definition and [theorem](https://morrison-lab.github.io/mcs/proof-writing.html#def-theorem) in these notes is one box, colored by kind.
A box sits below each definition and theorem it uses,
so the ones that use no others are at the top.
Hover over a box to see its name,
and click it to open its page.
::: {#dependency-graph-site}
:::