Greifswald, DE

Stream: Geographic locality

[Nima Rasekh]

Hey! I am a postdoctoral fellow at Uni Greifswald with interest in homotopy theory, category theory and some foundations. I'm now starting to do some formalization in Lean. If there is anybody around Greifswald interested in talking Lean or formalization, then message me!