Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • patch-1
2 results

jbetzendal.md

Blame
    • Forked from KWARC / kwarc.info / www
    1030 commits behind the upstream repository.
    jbetzendal.md 383 B 
    layout: person

title: Jonas Betzendal
fullname: B.Sc. Jonas Betzendal
pic: public/images/jbetzendal.jpg

role: master-student
start_date: 2016-08

affiliation: University Bielefeld

    Description

    Hi, my name is Jonas Betzendal and I am finishing my Master's degree at Bielefeld.

    My topic is the transportation of the library of the IMPS theorem prover into OMDOC format.