Skip to content
Snippets Groups Projects
Commit dbac4d9b authored by Marcel Schütz's avatar Marcel Schütz
Browse files

Fix email address

parent e6c94b88
Branches
No related tags found
No related merge requests found
Pipeline #5190 passed
......@@ -26,4 +26,4 @@ with a thesis on forcing in the context of topos theory.
I am interested in set theory, type theory and category theory, especially regarding
their role in the foundations of mathematics and the development of proof assistants.
Email: `Email: firstname + “.” + lastname + “@” + “fau.de”`
Email: `firstname + “.” + lastname.replace(“ü”,“ue”) + “@” + “fau.de”`
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment