Jonathan Protzenko

icon indicating a website link https://jonathan.protzenko.fr

icon company Microsoft icon location Redmond, WA icon location 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

Results 1 repositories owned by Jonathan Protzenko

proof-search-monad

15
Stars
1
Forks
Watchers

Tentative write-up of a neat trick used in the Mezzo type-checker

verified publisher icon msprotz