Platform capacities
Instruments for careful mathematical writing
- 01
Structured notes
Each note has explicit metadata for title, authors, date, topics, publication state, and abstract.
- 02
Mathematical notation
Inline and displayed formulae are rendered during the static build, keeping the public pages stable.
- 03
Named mathematical objects
Definitions, lemmas, propositions, examples, remarks, and theorems can be assigned stable identifiers.
- 04
Dependency records
The theorem registry records uses and applies-to relations so logical dependencies remain inspectable.
- 05
Cross-note references
Wikilinks, backlinks, topic nodes, and graph data describe how notes refer to one another.
- 06
Static discovery
Search, feeds, sitemap output, and graph data are generated as static artifacts during the build.
- 07
Optional mathematical sidecars
Diagrams, bibliographies, PDFs, slides, and committed proof renders can accompany a note when needed.
Latest papers
Recent notes
No public papers have been published yet.
Drafts are hidden from production builds until a maintainer publishes them.