Computational Geometry - Convex Hulls
Jeff Erickson
Negating Negation: Against the Apophatic Abandonment of the ...
Timothy D. Knepper
Rework
Jason Fried & David Heinemeier Hansson
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Sworn Book of Honorius: Liber Iuratus Honorii
Honorius Of Thebes