Jonathan Protzenko@msprotz 
This is my professional GitHub account to record my contributions with my @Microsoft (MS) employee hat on. My open-source work is done with the @protz hat on
smt top 100 f-sharp top 100 theorem-proving top 100

Expertise

Global rank

# 124,719

Location

Redmond, WA
Languages
f-sharp
blockly
F#
OCaml
Topics
smt
theorem...
depende...
formal-...
makecod...
formal-...
functio...
algebra...
microbi...
multico...

Help us improve

If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.