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

Kartik Singhal
Kartik Singhal is on page 40 of 424
— Nov 23, 2018 10:41AM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

1 like ·  flag

Post a comment »
Comments

No comments have been added yet.


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