Carter’s Reviews > Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant > Status Update

Carter
Carter is on page 47 of 424
— Nov 08, 2018 04:39AM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

flag

Carter’s Previous Updates

Carter
Carter is on page 56 of 424
— Nov 13, 2018 04:18PM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant


Post a comment »
Comments

No comments have been added yet.


All of Carter’s status updates
Everyone’s updates from this book