align-toparrow-leftarrow-rightbackbellblockcalendarcamerachatcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-crosscrosseditfacebookglobegoogleimagesinstagramlocation-pinmagnifying-glassmailmoremuplabelShape 3 + Rectangle 1outlookpersonplusImported LayersImported LayersImported Layersshieldstartwitteryahoo

Manuel E.



Member since:

August 5, 2013

What's your familiarity with Functional Programming?

Good knowledge of Standard ML, Haskell, Isabelle/HOL; cursory knowledge of OCaml, Scala and Idris.

Which languages / technologies are most interesting for you?

Haskell, Isabelle/HOL, combination of programming and theorem proving in general

Would you be interested to speak on one of the meetups?



Computer science/maths student at TU München, addicted to formal proofs/interactive theorem proving and Earl Grey

No Photo


  • Not yet added

Our Sponsors

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy