Protocols

We create our minutes during the session on our self-hosted Hedgedoc instance. The resulting Markdown file is converted into a .tex file using a script. A PDF is then created from the .tex and you can find it listed here by semester. 

If you are interested in what we do, then just browse through our protocols!