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

Chai Lewgasamsarn
Chai Lewgasamsarn is on page 116 of 424
— Feb 23, 2024 12:05PM
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

flag

Post a comment »
Comments

No comments have been added yet.


All of Chai’s status updates
Everyone’s updates from this book