Last released Oct 3, 2026
Turn mathematical LaTeX papers into theorem dependency graphs for AI agents.