Forked from
KWARC / kwarc.info / www
1093 commits behind the upstream repository.
-
Tom Wiesing authoredTom Wiesing authored
miancu.md 313 B
layout: person
title: Mihnea Iancu
fullname: Dr. Mihnea Iancu
pic: public/images/miancu.png
role: phd-student
start_date: 2012-04
end_date: 2017-01Description
working on various projects within the KWARC group in the direction of iMMT and OMDoc2.
Thesis Title
Towards Flexiformal Mathematics