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

Yago
Yago is on page 100 of 424
— Aug 06, 2024 03:15AM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

flag

Yago’s Previous Updates

Yago
Yago is on page 61 of 424
— Jul 27, 2024 07:12AM
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 Yago’s status updates
Everyone’s updates from this book