Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Count of Monte Cristo, Illustrated
Alexandre Dumas
The Hero With A Thousand Faces
Joseph Campbell
Logical Geometry
Unknown
