Mark Lemay

icon indicating an email [email protected]

icon location Boston icon location Interested in Dependent types, functional programming, and automated theorem proving.

Results 0 repositories owned by Mark Lemay