The Drunkard's Walk
Leonard Mlodinow
Re-Counting Plato: A Computer Analysis of Plato's Style
Gerard R. Ledger
Blood, Sweat, and Pixels
Jason Schreier
A Late Period Hieratic Wisdom Text: (P. Brooklyn 47.218.135)
Richard Lewis Jasnow
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program