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

0xd34df00d
0xd34df00d is on page 190 of 424
— Sep 28, 2019 04:18PM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

flag

0xd34df00d’s Previous Updates

0xd34df00d
0xd34df00d is on page 365 of 424
— Oct 22, 2019 09:15PM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant


0xd34df00d
0xd34df00d is on page 341 of 424
— Oct 20, 2019 09:52PM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant


0xd34df00d
0xd34df00d is on page 316 of 424
— Oct 19, 2019 06:40PM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant


0xd34df00d
0xd34df00d is on page 290 of 424
— Oct 06, 2019 09:21PM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant


0xd34df00d
0xd34df00d is on page 256 of 424
— Oct 05, 2019 03:43PM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant


0xd34df00d
0xd34df00d is on page 213 of 424
— Sep 29, 2019 04:02PM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant


0xd34df00d
0xd34df00d is on page 167 of 424
— Sep 26, 2019 07:00PM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant


0xd34df00d
0xd34df00d is on page 159 of 424
— Sep 22, 2019 09:27PM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant


0xd34df00d
0xd34df00d is on page 148 of 424
— Sep 21, 2019 09:37PM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant


0xd34df00d
0xd34df00d is on page 128 of 424
— Sep 15, 2019 04:28PM
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 0xd34df00d’s status updates
Everyone’s updates from this book