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

Description

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

Thesis

Towards Flexiformal Mathematics December 2014.