Wiki Pages
Each Project and Program has its own wiki — a collection of pages written in Markdown with LaTeX support. Wiki pages are ideal for:
- Background definitions and notation
- Literature surveys and summaries
- Proof strategies and road maps
- TikZ diagrams for commutative diagrams and illustrations
Creating and Editing Pages
Step 1: Navigate to the Wiki Tab
Go to your project or program and click the Wiki tab.
Step 2: Create a New Page
Click "New Page", give it a title, and start writing.
Step 3: Write Content
Use Markdown with embedded LaTeX:
# Spectral Theory Background
## Definition (Spectrum)
Let $T: H \to H$ be a bounded linear operator on a Hilbert space $H$.
The **spectrum** of $T$ is defined as:
$$\sigma(T) = \{ \lambda \in \mathbb{C} : T - \lambda I \text{ is not invertible} \}$$
## Key Properties
1. $\sigma(T)$ is always a non-empty compact subset of $\mathbb{C}$
2. $\sigma(T) \subseteq \overline{B}(0, \|T\|)$Wiki Links
Link between wiki pages using special syntax:
[[Page Title]]— Link to a page by title (within the same wiki)[[wiki:UUID|Display Text]]— Link to a specific page by UUID with custom display text
Wiki links are rendered as clickable references and help build an interconnected knowledge graph.
Version History & Rollback
Every wiki edit is versioned. View the full history of any page and rollback to a previous version if needed. The diff view highlights exactly what changed between versions.
Draft Branch Editing
For substantial changes, use the draft branch workflow — similar to GitHub Pull Requests but for wiki content:
Step 1: Create a Draft
Click "Create Draft" on any wiki page. This creates a branch where you can make changes without affecting the published version.
Step 2: Invite Collaborators
Share the draft with collaborators who can co-edit in real time.
Step 3: Real-time Collaboration
Drafts support Yjs-powered real-time collaborative editing. Multiple authors can edit simultaneously with live cursors and awareness indicators.
Step 4: Submit & Merge
When the draft is ready, submit it for review. If there are conflicts with changes made to the main page since the draft was created, Mathub performs a 3-way mergeand highlights any conflicts for manual resolution.
Verification
The AI Verification system can check wiki pages for mathematical correctness — verifying that stated theorems and definitions are accurate and that references are valid.
Wiki Sync
Insights and results from Forumdiscussions can be synced to the wiki on a per-thread basis. The sync behavior depends on the linked effort's status:
- In-progress efforts — Content is added to a special "Workshop — Exploratory Directions" page, collecting early-stage ideas and ongoing discussions for visibility.
- Completed efforts (Verified / Merged / Closed) — An AI agent determines which existing wiki pages should be updated and incorporates the findings naturally. Previously workshopped content is marked as merged.
All sync results are created as wiki draftsfor human review before being published. Drafts appear in the page's draft list and can be accepted, edited, or discarded.
Import / Export
Wiki pages can be:
- Exported as Markdown, LaTeX, or PDF
- Imported from Markdown or LaTeX files
Watchlist
Watch specific wiki pages to receive notifications when they are edited. Manage your watchlist from the wiki sidebar.