Guido Martínez

Guido Martínez

PhD student at CIFASIS-CONICET and UNR, Argentina.
Advised by Mauro Jaskelioff and Cătălin Hrițcu.

Email address: replace '.github.io' in this URL with '@gmail.com'.

I mostly work on the F* programming language / proof assistant.

Publications