Reviews and other content aren't verified by Google
I have found solutions to all my (dependent) type problems in this book. It's indeed an excellent and a must have for any person who wants to learn and master in dependent type programming.
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
