📖 Thesis Browser
∀ Theorem Catalog
⚙ a11oy v19
🔍 UDS Span/Receipt
🐍 amaru
🌹 rosie
🛡️ sentra
🔧 MCP Playground
📊 Live Visuals
📖 Thesis Browser
∀ Theorem Catalog
⚙ a11oy v19
🔍 UDS Span/Receipt
🐍 amaru
🌹 rosie
🛡️ sentra
🔧 MCP Playground
📊 Live Visuals
BibTeX citation
▼
DOI & metadata
▼