Description

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

Thesis

Towards Flexiformal Mathematics December 2014.