The 8th Habit
Stephen R. Covey
Book of Proof
Richard Hammack
The origin of species
Darwin, Charles, 1809-1882
Euripides V: Bacchae, Iphigenia in Aulis, the Cyclops, Rhesus
Euripides
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program