Proofdesk — The IDE for Open-Source Math Textbook Publishing

github proofdesk Inspiration Math professors who write open-source textbooks are stuck in a painful loop: edit XML in a text editor → open a terminal → run a Docker build that takes 15 minutes → refresh a browser → realize one equation is wrong → repeat. There's no integrated workspace for it. Tools like Overleaf exist for LaTeX, but nothing exists for PreTeXt — the modern XML-based format used by university textbooks at Georgia Tech, MIT, and dozens of other institutions. I'm a CS grad student