Proclus' On the Hieratic Art According to the Greeks
Eleni Pachoumi;
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Dive Into Design Patterns
Alexander Shvets
Euler The Master of Us All
William Dunham
Einstein Manifolds
Arthur L. Besse
