Hi, my name is Jonas Betzendahl, my pronouns are [they/he](http://pronoun.is/they?or=he) and I'm a PhD Student at KWARC.
Hi, my name is Jonas Betzendahl, my pronouns are [they/he](http://pronoun.is/they?or=he), and I'm a PhD Student at KWARC.
I finished my Master's degree at Bielefeld University with a thesis at KWARC about the transportation of the standard mathematics library of the IMPS theorem prover into OMDOC format and everything associated. You can find it [here](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2018/jbetzendahl/thesis_imps2omdoc.pdf).
