Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Dip: A Little Book That Teaches You When to Quit (and When ...
Godin, Seth
Lymph & Longevity: The Untapped Secret to Health
Gerald Lemole
Introduction to Quantum Mechanics & Applications to Chemistry
Linus Pauling, E. Bright Wilson Jr.
Clojure for the Brave and True: Learn the Ultimate Language ...
Daniel Higginbotham