Coq


Software Foundations
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Interactive Theorem Proving and Program Development
Principles: Life and Work
Can't Hurt Me: Master Your Mind and Defy the Odds
Antifragile: Things That Gain from Disorder
The Dawn of Everything: A New History of Humanity
Four Thousand Weeks: Time Management for Mortals
Digital Minimalism: Choosing a Focused Life in a Noisy World
Decoding Greatness: How the Best in the World Reverse Engineer Success
The Psychology of Money: Timeless Lessons on Wealth, Greed, and Happiness
Zero to One: Notes on Startups, or How to Build the Future
Never Split the Difference: Negotiating as if Your Life Depended on It
The Good Life: Lessons from the World's Longest Scientific Study of Happiness
Be Useful: Seven Tools for Life
But if the rooster crows, this is not for the farmer. (Mais si le coq a chanté, - Ce n'est pas pour le fermier.) ...more
Charles de Leusse