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

Pleng Chomphoochan
Pleng Chomphoochan is on page 120 of 424
— Dec 22, 2022 08:55PM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

flag

Pleng’s Previous Updates

Pleng Chomphoochan
Pleng Chomphoochan is on page 85 of 424
— Dec 19, 2022 11:02PM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant


Pleng Chomphoochan
Pleng Chomphoochan is on page 56 of 424
— Dec 18, 2022 10:49PM
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 Pleng’s status updates
Everyone’s updates from this book