1 · Source text
example:
Chapters to scan
2 · What to include
| Kind | # | Incl. | Defn. | Style |
|---|---|---|---|---|
| Scan a text to list its statement kinds. | ||||
“Definition” marks the kinds whose terms are matched later in the text (rule D4): a term they introduce links them to every later statement that uses it.
How edges are inferred
- D1
- a \ref in a proof → edge from the referenced statement to the proved one
- D2
- a \ref, link or “Theorem 2.1” inside a statement → edge to that statement
- D3
- “Proof of Theorem X” attaches the proof to X instead of the nearest statement
- D4
- a term introduced in a definition (\emph, **bold**, “quoted”, “called a …”) reappears later → edge from the definition
- H1
- a proof belongs to the statement just before it
- H2
- a corollary without references → nearest preceding theorem or proposition
- H3
- a lemma → the next theorem or proposition within 3 statements
- H4
- \index{} and \emph{} terms of non-definition statements matched in later statements (LaTeX only)
3 · Dependency graph
Loading…
The dependency graph appears here once a document is scanned.
Solid = found in a proof · dashed = in a statement · dotted = heuristic. Remove an edge with ×; the graph is rebuilt.
| Rule | From | To | Style |
|---|
| # | Kind | Label | Name | Defined terms |
|---|