From f0c413fd31b0b6037e85e1b9343f03316a6de56f Mon Sep 17 00:00:00 2001
From: Navid Roux <navid.roux@fau.de>
Date: Sat, 3 Jun 2023 13:59:06 +0000
Subject: [PATCH] Update nroux.md

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

diff --git a/people/nroux.md b/people/nroux.md
index b38f2d4..e0df2fc 100644
--- a/people/nroux.md
+++ b/people/nroux.md
@@ -47,7 +47,7 @@ from Intrinsic to Extrinsic Style"](https://kwarc.info/people/frabe/Research/RR_
 
 - **Publications (selection):** click on the bibliography icon on the right.
   - [*Systematic Translation of Formalizations of Type Theory
-from Intrinsic to Extrinsic Style*](https://kwarc.info/people/frabe/Research/RR_softening_21.pdf) (joint work with Florian Rabe)
+from Intrinsic to Extrinsic Style*](https://kwarc.info/people/frabe/Research/RR_soften_21.pdf) (joint work with Florian Rabe)
   - [*FrameIT: Detangling Knowledge Management from Game Design in Serious Games*](https://kwarc.info/kohlhase/papers/cicm20-frameit.pdf) (joint work with Michael Kohlhase and many more authors, see link)
 - **Master's Thesis:** [A Framework for Defining Structure-Preserving Diagram Operators](https://gl.kwarc.info/supervision/MSc-archive/-/blob/master/2022/RouxNavid.pdf) (todo: links to corrupted pdf) ([slides](https://gl.kwarc.info/NavidRoux/seminar/-/blob/c73c6362a195a5e8d57c2723e179df04f3d5960b/SS2022/diagops/slides.pdf))
 - **Master's Seminar:** [*A Beginner's Guide to Logical Relations for a Logical Framework*](https://gl.kwarc.info/supervision/seminar/-/blob/master/WS2021/logrels/guide.pdf) ([slides](https://gl.kwarc.info/supervision/seminar/-/blob/e1b1ea2fd5eb8d4d864140cddf20a9ca28397583/WS2021/logrels/slides.pdf))
-- 
GitLab