Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Two Treatises of Government : And a Letter Concerning Toleration
John Locke
Blood, Sweat, and Pixels
Jason Schreier
Eros and Magic in the Renaissance
Ioan P. Culianu
The Platonic Doctrines of Albinus
Albinus