Docs

We are also running a hedgedoc instance at doc.ides.club. This is a real-time collaborative markdown editor with support for LaTeX. You should be able to use this without an account, though I think right now account signups are also enabled.

Published: 2022-11-23