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

Jakub
Jakub is on page 297 of 424
— Jan 20, 2015 02:55PM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

flag

Jakub’s Previous Updates

Jakub
Jakub is on page 210 of 424
— Jan 17, 2015 03:59PM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant


Jakub
Jakub is on page 147 of 424
— Jan 17, 2015 07:25AM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant


Jakub
Jakub is on page 132 of 424
— Jan 10, 2015 06:24PM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant


Jakub
Jakub is on page 113 of 424
— Jan 10, 2015 04:06PM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant


Jakub
Jakub is on page 85 of 424
— Jan 10, 2015 08:27AM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant


Jakub
Jakub is on page 79 of 424
— Jan 08, 2015 03:41AM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant


Jakub
Jakub is on page 59 of 424
— Jan 05, 2015 02:51AM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant


Jakub
Jakub is on page 38 of 424
— Jan 02, 2015 04:23PM
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 Jakub’s status updates
Everyone’s updates from this book