Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Euripides V: Bacchae, Iphigenia in Aulis, the Cyclops, Rhesus
Euripides
Mental Language: From Plato to William of Ockham
Claude Panaccio
Treatise on conic sections
Apollonius, of Perga
How to Draw: Drawing and Sketching Objects and Environments ...
Scott Robertson & Thomas Bertling