Proofdesk — The IDE for Open-Source Math Textbook Publishing
🔒
https://dev.to
«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 bro...»
Automatische Weiterleitung...
1.5s