ProofAtlas needs JavaScript: it renders live mathematics and an interactive proof graph entirely in your browser.