Cozy Library | Category: type theory

Browse
Books
Shelves

Discover (Random Books)

Computational Geometry - Convex Hulls

Computational Geometry - Convex Hulls

70447-Article Text-196704-1-10-20200131

70447-Article Text-196704-1-10-[..]

Zero to One: Notes on Startups, or How to Build the Future

Zero to One: Notes on Startups, or How to Build the Future

Peter Thiel & Blake Masters

AI for Games, Third Edition

AI for Games, Third Edition

Category: type theory

Homotopy Type Theory: Univalent Foundations of Mathematics

Homotopy Type Theory: Univalent Foundations of Mathematics

Univalent Foundations Program