BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

This website uses cookies.

We value your privacy and use cookies to remember your shopping preferences and to analyse our website traffic. Manage your privacy settings.

Skip to content

Sign in or create an account
A$ Your delivery country is set to United States and your currency is set to Australian Dollars.
Help
You have 0 items in your basket. 0

Show or hide the book search form.

Enter keywords or an ISBN you wish to find

More search options

Click to open or close the main menu

Search
Browse books
Rare books
Promotions
Bookshops
Sell books

A$ Your delivery country is set to United States and your currency is set to Australian Dollars.

Home Adam Chlipala Certified Programming With Dependent Types

Certified Programming With Dependent Types by Adam Chlipala

Cheapest with shipping

Collectible copies of Certified Programming With Dependent Types

Finding Books

Advanced Book Search
Browse by Subject
Search by ISBN
Browse by Author
- Adam Chlipala
Browse by Book Award
Rare books
Discounted books

Search for books

Author

Title

Keyword

One of these fields is required.

Advanced Search

We sell rare and collectable books from independent booksellers

Uncommonly Good Books

Biblio offers over 100 million second-hand books and rare books by working with the finest booksellers in the world.

Subscribe to our newsletter to receive vouchers by email.

Your email address

Ignore this field

Services

Your account
Gift Vouchers
The BIBLIO Guarantee
Check order status
Purchase Orders
Bulk Book Sourcing
Vouchers & Offers
Affiliate Programme
Help & FAQs

About

Why Shop at Biblio?
Our Story
Biblio Staff
Jobs at Biblio
Our Blog
Link to us
Contact us

Social Responsibility

EPIC Bottom Line
BiblioWorks
Carbon-neutral delivery

Resources

Book Collecting
Glossary of Book-Collecting Terms
Sell books on Biblio
The Auction & Book Sales Archive by BIBLIO (ABSA)

Facebook
Instagram
Bluesky

Privacy and security
Website Accessibility
Terms and Conditions
Sitemap

Copyright © 2026 Biblio, Inc. All rights reserved. Biblio® is a registered trade mark of Biblio, Inc.

If you are using a screen reader and are having problems using our website, please call 1-800-813-9432 (US) or 1-828-350-0744 (Outside the US) Monday - Friday 10am–4pm EST or Email us at any time for assistance.

Visa
Mastercard
American Express
Discover
Paypal
Venmo
Apple Pay
Google Pay

Biblio.com
Biblio.co.uk
Biblio.es
Biblio.de
Biblio.com.au
Biblio.co.nz
Biblio.pt
Biblio.sg
Biblio.ie

Loading external content...

Please wait a moment while we load the requested page.

Welcome! Choose your site:

View this page on BIBLIO.com

or

Site preferences

Show Shipping To:

Show Prices In: