Certified Programming with Dependent Types
adam.chlipala.net
Certified Programming with Dependent Types
latest update September 26, 2013
Certified Programming with Dependent Types
latest update September 26, 2013