diff --git a/src/main/resources/language/translation_de.properties b/src/main/resources/language/translation_de.properties
index 5562cb6..cae6b81 100644
--- a/src/main/resources/language/translation_de.properties
+++ b/src/main/resources/language/translation_de.properties
@@ -88,7 +88,7 @@ root.helpInferenceViewFeatures=Wurde ein Term erfolgreich typisiert, werden der
   abgebrochen. Mit \u03C3 wird am Ende der allgemeinste Unifikator angegeben, mit \u03C3(\u03B1\u2081) der \
   finale Typ des Terms.
 help.typicalcInfo=\
-Typicalc wurde als PSE-Projekt am KIT im WS20/21 entwickelt von<br>\
+<a href="https://git.scc.kit.edu/pse-typinferenz/typicalc">Typicalc</a> wurde als PSE-Projekt am KIT im WS20/21 entwickelt von<br>\
   Robin Böhne<br>\
   Moritz Dieing<br>\
   Thomas Heinen<br>\
diff --git a/src/main/resources/language/translation_en.properties b/src/main/resources/language/translation_en.properties
index c904062..041493b 100644
--- a/src/main/resources/language/translation_en.properties
+++ b/src/main/resources/language/translation_en.properties
@@ -81,7 +81,7 @@ root.helpInferenceViewFeatures=When a term is successfully type inferred, the in
   steps in the tree are shown. If such a sub-unification or the outermost unification fails, the whole algorithm is \
   cancelled. At the end, the most general unifier is displayed as \u03C3 and the final type as \u03C3(\u03B1\u2081).
 help.typicalcInfo=\
-Typicalc was developed as a PSE project at the KIT in WS20/21 by<br>\
+<a href="https://git.scc.kit.edu/pse-typinferenz/typicalc">Typicalc</a> was developed as a PSE project at the KIT in WS20/21 by<br>\
   Robin Böhne<br>\
   Moritz Dieing<br>\
   Thomas Heinen<br>\