Sign in with Facebook
Coq Books
Showing 1-23 of 23
Software Foundations (ebook)
by (shelved 2 times as coq)
avg rating 4.54 — 41 ratings — published 2011
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Hardcover)
by (shelved 2 times as coq)
avg rating 4.28 — 29 ratings — published 2010
Interactive Theorem Proving and Program Development (Hardcover)
by (shelved 2 times as coq)
avg rating 4.14 — 29 ratings — published 2004
Principles: Life and Work (Audio CD)
by (shelved 1 time as coq)
avg rating 4.09 — 70,177 ratings — published 2017
Can't Hurt Me: Master Your Mind and Defy the Odds (Kindle Edition)
by (shelved 1 time as coq)
avg rating 4.30 — 325,997 ratings — published 2018
Antifragile: Things That Gain from Disorder (Hardcover)
by (shelved 1 time as coq)
avg rating 4.10 — 58,990 ratings — published 2012
The Dawn of Everything: A New History of Humanity (Hardcover)
by (shelved 1 time as coq)
avg rating 4.19 — 27,845 ratings — published 2021
Four Thousand Weeks: Time Management for Mortals (Hardcover)
by (shelved 1 time as coq)
avg rating 4.17 — 135,466 ratings — published 2021
Digital Minimalism: Choosing a Focused Life in a Noisy World (Kindle Edition)
by (shelved 1 time as coq)
avg rating 4.05 — 97,903 ratings — published 2019
Decoding Greatness: How the Best in the World Reverse Engineer Success (Hardcover)
by (shelved 1 time as coq)
avg rating 4.22 — 1,108 ratings — published
The Psychology of Money: Timeless Lessons on Wealth, Greed, and Happiness (Paperback)
by (shelved 1 time as coq)
avg rating 4.28 — 347,280 ratings — published 2020
Zero to One: Notes on Startups, or How to Build the Future (Hardcover)
by (shelved 1 time as coq)
avg rating 4.14 — 410,782 ratings — published 2014
Never Split the Difference: Negotiating as if Your Life Depended on It (Paperback)
by (shelved 1 time as coq)
avg rating 4.34 — 221,365 ratings — published 2016
The Good Life: Lessons from the World's Longest Scientific Study of Happiness (ebook)
by (shelved 1 time as coq)
avg rating 4.15 — 12,838 ratings — published 2023
Be Useful: Seven Tools for Life (Hardcover)
by (shelved 1 time as coq)
avg rating 4.05 — 36,261 ratings — published 2023
Hidden Potential: The Science of Achieving Greater Things (Hardcover)
by (shelved 1 time as coq)
avg rating 4.09 — 49,975 ratings — published 2023
How to Know a Person: The Art of Seeing Others Deeply and Being Deeply Seen (Kindle Edition)
by (shelved 1 time as coq)
avg rating 4.02 — 43,112 ratings — published 2023
Verifiable C (Software Foundations, #5)
by (shelved 0 times as coq)
avg rating 3.00 — 1 rating — published
Software Foundations, Volume 4: QuickChick: Property-Based Testing in Coq (ebook)
by (shelved 0 times as coq)
avg rating 3.50 — 2 ratings — published
Programs and Proofs: Mechanizing Mathematics with Dependent Types (ebook)
by (shelved 0 times as coq)
avg rating 5.00 — 1 rating — published 2014
Software Foundations, Volume 3: Verified Functional Algorithms (ebook)
by (shelved 0 times as coq)
avg rating 3.50 — 2 ratings — published
Software Foundations, Volume 2: Programming Language Foundations (ebook)
by (shelved 0 times as coq)
avg rating 4.17 — 12 ratings — published
Software Foundations, Volume 1: Logical Foundations (ebook)
by (shelved 0 times as coq)
avg rating 4.79 — 28 ratings — published
“But if the rooster crows, this is not for the farmer. (Mais si le coq a chanté, - Ce n'est pas pour le fermier.)”
―
―
