Skip to content
View michael-hartmann's full-sized avatar
14 followers · 21 following

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Block or report michael-hartmann

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@fe-y-sa
Feyisa Takele fe-y-sa

Ethiopia

@tanjaschoger
tanjaschoger
@toplinearfunction
Larissa Inacio toplinearfunction
physics PhD @UFRJ
@rohan999chaudhary
Rohan Chaudhary rohan999chaudhary
@jaja907
jaja907
@canag
canag

Paris, France

@arthurluna
Arthur Luna arthurluna
@gratuxri
Juri Grabowski gratuxri

Stuttgart

@mp4096
Mikhail Pak mp4096
@gertingold
Gert-Ludwig Ingold gertingold
Theoretical physicist

Universität Augsburg Augsburg, Germany

@joerg-lehmann
Jörg Lehmann joerg-lehmann

Basel, Switzerland

@waldgirgl
waldgirgl

Augsburg, Germany

@timjb
Tim Baumann timjb
Interested in type theory, category theory and concurrent collaborative editing.

@TNG Technology Consulting GmbH Augsburg, Europe

@iblech
Ingo Blechschmidt iblech
Mathematician working in applied topos theory. Also interested in functional programming.

University of Padova Augsburg, Germany