From 4cfce2e0e4f81ad9adf483b19ce247fe73300e47 Mon Sep 17 00:00:00 2001 From: Jonas Betzendahl <jonas.betzendahl@gmail.com> Date: Wed, 10 Oct 2018 10:02:25 +0200 Subject: [PATCH] add pgp key --- people/jbetzendahl.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/people/jbetzendahl.md b/people/jbetzendahl.md index dda91c5..bd2368c 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)) -- GitLab