∴Reference
Indexes.
Cross-document jump-tables. Every entry is auto-generated at build time from the underlying notes, so it stays in sync with the source.
- 233 equations
Equation index
Every `<Equation>` JSX block plus every `$$ ... $$` display math span across the site, grouped by source document.
- 72 IDs
Theorem index
T-… IDs (theorems, lemmas, propositions, corollaries) extracted from raw MDX, sorted alphanumerically with the document each one first appears in.
- 28 open problems
Open problems
OP-XXXX IDs surfaced across the notes — registered, partially resolved, retracted — each linking back to where the problem is most fully discussed.
- 26 entries
Glossary
Plain-language definitions for D-XXXX / S-XXXX / A-XXXX formal IDs. Term hover-cards across the site pull from this entry.
- 4 versions
Canonical changelog
Every journal entry that named a canonical version, ordered newest first. Each row links to the originating weekly entry.
- graph
Dependency DAG
Auto-laid-out directed graph of every theorem-kind note and the explicit `related` edges between them. Pan + pinch supported.