Guido Martínez

Ecosystems: OCaml, C, Linux

Projects

FStar

A Proof-oriented Programming Language

F* - Released: 03 Apr 2014 - 2,657