Accounting 101
Michele Cagan
A brief introduction to type theory and the univalence axiom
Jackson Macor
The Toxin Solution
Joseph Pizzorno
Geometry and Monadology: Leibniz's Analysis Situs and Philosophy ...
Vincenzo de Risi
Euclid's Elements of Geometry
Richard Fitzpatrick, University of Texas at Austin