From 65c6ff914a62613a78f8749c2c0cc1789f0419d4 Mon Sep 17 00:00:00 2001 From: Navid Roux <navid.roux@fau.de> Date: Sun, 20 Mar 2022 10:24:52 +0000 Subject: [PATCH] fix broken link to my webpage --- people/nroux.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/people/nroux.md b/people/nroux.md index 9ab797b..9c2148b 100644 --- a/people/nroux.md +++ b/people/nroux.md @@ -54,7 +54,7 @@ from Intrinsic to Extrinsic Style"](https://kwarc.info/people/frabe/Research/RR_ - **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/master/WS2021/logrels/slides.pdf)) - **Master's Project:** [*Structure-Preserving Diagram Operators*](https://gl.kwarc.info/supervision/projectarchive/-/blob/master/2020/Roux_Navid.pdf) -- **Bachelor's Thesis:** [*Refactoring of Theory Graphs in Knowledge Representation Systems*](https://navid-roux.netlify.app/post/bsc-thesis/) +- **Bachelor's Thesis:** [*Refactoring of Theory Graphs in Knowledge Representation Systems*](https://navid-roux.netlify.app/bsc-thesis/) See [my personal website](https://navid-roux.netlify.app/) for Master's courses I have taken. -- GitLab