Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Tao Te Ching
Lao-tzu
Hierocles the Stoic: Elements of Ethics, Fragments, and Excerpts
Ilaria Ramelli
Re-Counting Plato: A Computer Analysis of Plato's Style
Gerard R. Ledger
Organized Mind : Thinking Straight in the Age of Information ...
Levitin, Daniel J.