David T.


Redmond, WA

Member since:

December 16, 2011



F# Developer on a 3 year project to port the Isabelle Proof Assistant /Higher Order Logic system to .NET using F#. Currently working on Bing.3dMap Control and studying the Coq\Gallina Dependently Typed Programming Language.

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