From 320e0c10ad748887df66d21ae7c893a9ed2696ae Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sun, 19 Nov 2017 16:32:56 +0100
Subject: [PATCH] adding thesis

---
 people/miancu.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/people/miancu.md b/people/miancu.md
index 5cd7bf6..3b792cd 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.
-- 
GitLab