Scan Barcode

Username:

Password:

Forgot your password?

Adam Chlipala

External links

View on OpenLibrary

Books by Adam Chlipala

Adam Chlipala: Certified Programming with Dependent Types (Hardcover, 2013, The MIT Press)

No rating

Certified Programming with Dependent Types

by Adam Chlipala

Successfully posted status

Error posting status

Contact site admin

Code of Conduct

Support BookWyrm on Patreon

BookWyrm's source code is freely available. You can contribute or report issues on GitHub.

BookWyrm is managed from the unceded ancestral homeland of the Ramaytush Ohlone peoples, the original inhabitants of the San Francisco Peninsula. A portion of the proceeds go towards the Yunakin land tax.