| ▲ | Proofdesk – Collaborative Web IDE and Sandbox for Math Textbooks(proofdesk.duckdns.org) | |
| 1 points by harsharajkumar 6 hours ago | 2 comments | ||
| ▲ | mkprc 3 hours ago | parent | next [-] | |
A vibe-coded PreTeXt editor webapp. Okay. GitHub link at the bottom 404s, but presumably intends to link here: https://github.com/harsharajkumar-273/Proofdesk | ||
| ▲ | harsharajkumar 6 hours ago | parent | prev [-] | |
[flagged] | ||