Proofdesk – Collaborative Web IDE and Sandbox for Math Textbooks 6 hours ago (proofdesk.duckdns.org) 2 comments harsharajkumar Reply Add to library mkprc 4 hours ago 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 [flagged]
mkprc 4 hours ago 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
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
[flagged]