Open Access Book
thumbnail image

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


Author: Adam Chlipala (Author)
Source: Open Research Library
Creative Commons Attribution-NonCommercial-NoDerivs Image

Share

Texas A&M International University
5201 University Boulevard
Laredo, TX 78041
Phone 956.326.2001
© 2026

Directory Disclaimer Feedback Map Español Mental Health Resources Texas Veterans Portal Faculty Profiles Faculty and Course Info Jobs @ TAMIU EthicsPoint - Risk, Fraud & Misconduct Hotline
back to top arrow