menu
Dr. Mihnea Iancu
Phd Student
KWARCie April 2012  -  January 2017
ODK

MMT
OMDoc
SMGLoM

Description

working on various projects within the KWARC group in the direction of iMMT and OMDoc2.

Thesis

Towards Flexiformal Mathematics December 2014.