Join the Goodreads Author Program

Are you Adam Chlipala, author of the books below?
Formal Reasoning About Programs by Adam Chlipala Certified Programming with Dependent Types by Adam Chlipala


To join the author program as Adam Chlipala, you will first need to sign in to Goodreads. Then navigate back to this page to apply.


About the Author Program
Authors on Goodreads
Author Guidelines
Author Program How-To
Author & Advertisers Blog
Ask the Author: Featured Authors
About Goodreads