Project Details
This is a textbook on informal homotopy type theory. It is part of the Univalent foundations of mathematics project that took place at the Institute for Advanced Study in 2012/13.
This repository is a fork of the official repository https://github.com/HoTT/book, which I created with the permission of the admin to make the translations into Spanish.
Below I show you the conversation with the admin that gave me permission to create the fork for translation into Spanish:
Links related to the translation
Source Language
English
Translated Language
Spanish
Number Of Words
Number of words translated on this contribution: 1179
Proofread Words
None
Previous translation on the same project
This is my first contribution in this project
Posted on Utopian.io - Rewarding Open Source Contributors