Forked from
KWARC / kwarc.info / www
786 commits behind the upstream repository.
-
Michael Kohlhase authoredMichael Kohlhase authored
jfschaefer.md 230 B
layout: person
fullname: Jan Frederik Schaefer
role: master-student
pic: public/images/jfschaefer.jpg
start_date: 2014-03KWARC Master Student
Bachelor's Thesis Title:
Declaration Spotting in Mathematical Documents