ProofNote is an offline-first structured document editor designed for technical and mathematical notes. It combines a local document library with rich text, LaTeX, code blocks, structured content, import/export and standalone HTML output — all running directly in the browser.