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

aupiff
aupiff is 18% done
— Mar 02, 2017 12:07PM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

flag

aupiff’s Previous Updates

aupiff
aupiff is 32% done
— Mar 03, 2017 01:56PM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant


aupiff
aupiff is 24% done
— Mar 03, 2017 10:25AM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant


aupiff
aupiff is 12% done
StackMachine.v
— Feb 22, 2017 05:53AM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant


aupiff
aupiff is 6% done
Chapter: Introduction
— Feb 16, 2017 08:47AM
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 aupiff’s status updates
Everyone’s updates from this book