Skip to content
Snippets Groups Projects
Verified Commit 4cfce2e0 authored by Jonas Betzendahl's avatar Jonas Betzendahl
Browse files

add pgp key

parent 3618d667
No related branches found
No related tags found
No related merge requests found
......@@ -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))
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