Coq Books Categories

  1. home
  2. Coq Books Categories

Coq Categories Books ListCoq Books Categories

Software Foundations (ebook)
Software Foundations (ebook)
View More

Software Foundations (ebook)

By: Benjamin C. Pierce
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Hardcover)
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Hardcover)
View More

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Hardcover)

By: Adam Chlipala
Interactive Theorem Proving and Program Development (Hardcover)
Interactive Theorem Proving and Program Development (Hardcover)
View More

Interactive Theorem Proving and Program Development (Hardcover)

By: Yves Bertot
Principles: Life and Work (Audio CD)
Principles: Life and Work (Audio CD)
View More

Principles: Life and Work (Audio CD)

By: Ray Dalio
Can't Hurt Me: Master Your Mind and Defy the Odds (Kindle Edition)
Can't Hurt Me: Master Your Mind and Defy the Odds (Kindle Edition)
View More

Can't Hurt Me: Master Your Mind and Defy the Odds (Kindle Edition)

By: David Goggins
Antifragile: Things That Gain from Disorder (Hardcover)
Antifragile: Things That Gain from Disorder (Hardcover)
View More

Antifragile: Things That Gain from Disorder (Hardcover)

By: Nassim Nicholas Taleb
The Dawn of Everything: A New History of Humanity (Hardcover)
The Dawn of Everything: A New History of Humanity (Hardcover)
View More

The Dawn of Everything: A New History of Humanity (Hardcover)

By: David Graeber
Four Thousand Weeks: Time Management for Mortals (Hardcover)
Four Thousand Weeks: Time Management for Mortals (Hardcover)
View More

Four Thousand Weeks: Time Management for Mortals (Hardcover)

By: Oliver Burkeman
Digital Minimalism: Choosing a Focused Life in a Noisy World (Kindle Edition)
Digital Minimalism: Choosing a Focused Life in a Noisy World (Kindle Edition)
View More

Digital Minimalism: Choosing a Focused Life in a Noisy World (Kindle Edition)

By: Cal Newport
Decoding Greatness: How the Best in the World Reverse Engineer Success (Hardcover)
Decoding Greatness: How the Best in the World Reverse Engineer Success (Hardcover)
View More

Decoding Greatness: How the Best in the World Reverse Engineer Success (Hardcover)

By: Ron Friedman
The Psychology of Money: Timeless Lessons on Wealth, Greed, and Happiness (Paperback)
The Psychology of Money: Timeless Lessons on Wealth, Greed, and Happiness (Paperback)
View More

The Psychology of Money: Timeless Lessons on Wealth, Greed, and Happiness (Paperback)

By: Morgan Housel
Zero to One: Notes on Startups, or How to Build the Future (Hardcover)
Zero to One: Notes on Startups, or How to Build the Future (Hardcover)
View More

Zero to One: Notes on Startups, or How to Build the Future (Hardcover)

By: Peter Thiel
Never Split the Difference: Negotiating as if Your Life Depended on It (Paperback)
Never Split the Difference: Negotiating as if Your Life Depended on It (Paperback)
View More

Never Split the Difference: Negotiating as if Your Life Depended on It (Paperback)

By: Chris Voss
The Good Life: Lessons from the World's Longest Scientific Study of Happiness (ebook)
The Good Life: Lessons from the World's Longest Scientific Study of Happiness (ebook)
View More

The Good Life: Lessons from the World's Longest Scientific Study of Happiness (ebook)

By: Robert Waldinger
Be Useful: Seven Tools for Life (Hardcover)
Be Useful: Seven Tools for Life (Hardcover)
View More

Be Useful: Seven Tools for Life (Hardcover)

By: Arnold Schwarzenegger
Hidden Potential: The Science of Achieving Greater Things (Hardcover)
Hidden Potential: The Science of Achieving Greater Things (Hardcover)
View More

Hidden Potential: The Science of Achieving Greater Things (Hardcover)

By: Adam M. Grant
How to Know a Person: The Art of Seeing Others Deeply and Being Deeply Seen (Kindle Edition)
How to Know a Person: The Art of Seeing Others Deeply and Being Deeply Seen (Kindle Edition)
View More

How to Know a Person: The Art of Seeing Others Deeply and Being Deeply Seen (Kindle Edition)

By: David Brooks
Verifiable C (Software Foundations, #5)
Verifiable C (Software Foundations, #5)
View More

Verifiable C (Software Foundations, #5)

By: Andrew W. Appel
Software Foundations, Volume 4: QuickChick: Property-Based Testing in Coq (ebook)
Software Foundations, Volume 4: QuickChick: Property-Based Testing in Coq (ebook)
View More

Software Foundations, Volume 4: QuickChick: Property-Based Testing in Coq (ebook)

By: Leonidas Lampropoulos
Programs and Proofs: Mechanizing Mathematics with Dependent Types (ebook)
Programs and Proofs: Mechanizing Mathematics with Dependent Types (ebook)
View More

Programs and Proofs: Mechanizing Mathematics with Dependent Types (ebook)

By: Ilya Sergey
Software Foundations, Volume 3: Verified Functional Algorithms (ebook)
Software Foundations, Volume 3: Verified Functional Algorithms (ebook)
View More

Software Foundations, Volume 3: Verified Functional Algorithms (ebook)

By: Andrew W. Appel
Software Foundations, Volume 2: Programming Language Foundations (ebook)
Software Foundations, Volume 2: Programming Language Foundations (ebook)
View More

Software Foundations, Volume 2: Programming Language Foundations (ebook)

By: Benjamin C. Pierce
Software Foundations, Volume 1: Logical Foundations (ebook)
Software Foundations, Volume 1: Logical Foundations (ebook)
View More

Software Foundations, Volume 1: Logical Foundations (ebook)

By: Benjamin C. Pierce