Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Game Engine Black Book Doom (v1.1)
Fabien Sanglard
Quantum Mechanics and the Particles of Nature: An Outline for ...
Anthony Sudbery
Studies in Chemical Physics (1)
The Oxygen Advantage: The Simple, Scientifically Proven Breathing ...
Patrick McKeown
Euclid's Elements of Geometry
Richard Fitzpatrick, University of Texas at Austin
Einstein Manifolds
Arthur L. Besse