Skip to content
Snippets Groups Projects
Commit 65c6ff91 authored by Navid Roux's avatar Navid Roux :speech_balloon:
Browse files

fix broken link to my webpage

parent cfc3cbe1
No related branches found
No related tags found
No related merge requests found
Pipeline #4252 passed
......@@ -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.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment