Skip to content
View diekmann's full-sized avatar
95 followers · 12 following
  • Munich, Germany

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Starstruckx3Achievement: Mars 2020 ContributorAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Starstruckx3Achievement: Mars 2020 ContributorAchievement: Arctic Code Vault Contributor

Block or report diekmann

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@smolkaj
Steffen Smolka smolkaj

Google Bay Area

@hannesm
Hannes Mehnert hannesm

@robur-coop

@noschinl
Lars 'cebewee' Noschinski noschinl
@lsf37
Gerwin Klein lsf37
Proves stuff. Chief Scientist and Co-Founder at Proofcraft

Proofcraft Sydney, Australia

@Leonidas-from-XIV
Marek Kubica Leonidas-from-XIV
Lost in Continuation

@tarides Copenhagen

@pruvisto
Manuel Eberl pruvisto
Postdoc at University of Innsbruck. Mostly working in formalisation of mathematics and the automation thereof. Also dabbles in Haskell occasionally.

University of Innsbruck Innsbruck

@lukas227
Lukas Schwaighofer lukas227
@xlk
xlk
@niedermayer
niedermayer
@larsrh
Lars Hupel larsrh
evangelizing things | “absurd enthusiasm for trains, electoral systems, and bureaucracy”

Giesecke+Devrient München

@Xenefungus
Joschka Fischer Xenefungus
@constcast
Lothar Braun constcast