Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Divine Proportion
H. E. Huntley
Picatrix Liber Atratus Books 1 and 2 (Complete Picatrix Liber ...
Christopher Warnock
Dive Into Design Patterns
Alexander Shvets
Business Adventures
John Brooks