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...