Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant by Adam Chlipala

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Adam Chlipala

424 pages • first pub 2010 (editions)

nonfiction computer science mathematics informative slow-paced
Powered by AI (Beta)
Loading...

Description

The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This bo...

Read more

Community Reviews

Loading...

Content Warnings

Loading...