Tech article

Proofdesk — The IDE for Open-Source Math Textbook Publishing

github proofdesk Inspiration Math professors who write open-source textbooks are stuck in...

Dev.to | Apr 23, 2026 | Harsha Raj Kumar

Read the original article