Proofdesk – Collaborative Web IDE and Sandbox for Math Textbooks

2 comments

• mkprc 3 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 5 hours ago

  [flagged]