diff --git a/people/jbetzendahl.md b/people/jbetzendahl.md index bd2368cea9e2969166177aefeb13171dbb5ca85a..cf2a4e95693db1cf489938f39aaee54a75d69ce2 100644 --- a/people/jbetzendahl.md +++ b/people/jbetzendahl.md @@ -20,4 +20,4 @@ My Bachelor Thesis at Bielefeld University had the topic of implementing Inverse I'm interested in logic, theorem proving, category theory, type theory and (formal) mathematics. -If you want to contact me, my email address is _myFirstName_._myLastName_@fau.de (public pgp-key is [here](keys/0xC64D686FC97D4B2D.asc)) +If you want to contact me, my email address is _myFirstName_._myLastName_@fau.de (my pgp-key is [here](../keys/0xC64D686FC97D4B2D.asc))