Jonas Betzendahl

Start Date: 
August, 2016
Description: 

Technically a Master's Student at the University of Bielefeld, I am currently working on my Master's Thesis @ KWARC. My topic is the transportation of the library of the IMPS theorem prover into OMDOC format.