diff --git a/people/miancu.md b/people/miancu.md index 5cd7bf6b60339bc1f0a9a39062db9d686132b7dc..3b792cd5e94fd1ba3935721f967e72d83708e0da 100644 --- a/people/miancu.md +++ b/people/miancu.md @@ -15,5 +15,6 @@ end_date: 2017-01 ### Description working on various projects within the KWARC group in the direction of iMMT and OMDoc2. -### Thesis Title -Towards Flexiformal Mathematics +### Thesis +[Towards Flexiformal Mathematics](https://opus.jacobs-university.de/frontdoor/index/index/docId/721) +December 2014.