diff --git a/people/jbetzendahl.md b/people/jbetzendahl.md index dda91c5d5c05aa3128817177540fc8f5fdc27ad8..bd2368cea9e2969166177aefeb13171dbb5ca85a 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 +If you want to contact me, my email address is _myFirstName_._myLastName_@fau.de (public pgp-key is [here](keys/0xC64D686FC97D4B2D.asc))