From e5981daf62841b282e431bd6ea99b342be0f5684 Mon Sep 17 00:00:00 2001
From: Navid Roux <navid.roux@fau.de>
Date: Sat, 28 Mar 2020 13:11:37 +0100
Subject: [PATCH] UX typo

---
 people/nroux.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/people/nroux.md b/people/nroux.md
index 2adeb04..fb1a2c5 100644
--- a/people/nroux.md
+++ b/people/nroux.md
@@ -19,7 +19,7 @@ I am a Master student at [FAU Erlangen-Nürnberg](https://www.fau.eu/), where I
 
 My primary interests lie in the field of *Mathematical Knowledge Management* (MKM), where I like to apply and extend existing formal methods, such as [KWARC's MMT system](https://kwarc.info/systems/mmt/), to facilitate formalization and reuse of knowledge. Moreover, I find parallels to software engineering fascinating: correctness, refactoring, and prototyping all have a very pragmatic side from a programmer's perspective as well as a formal side within the realm of MKM and theorem provers. Last but not least, both fields require good UX for programmers/formalizers, which led me to learning and caring about non-text-based programming languages by means of [projectional editing](https://martinfowler.com/bliki/ProjectionalEditing.html).
 
-## Current Work
+### Current Work
 
 Besides my Master studies, currently I am working on…
 
-- 
GitLab