June 1, 2013
Computer science/maths student at TU München, anglophile, addicted to formal proofs/interactive theorem proving
At our Drinkup we share great ideas between our departments and we try to get external input as well.
We drink beer, eat, talk and throw ideas around.
Räumlichkeiten, Essen & Bier
Or sign up with email
Already a member? Log in.
Meetup members, Log in