HoTT Book - Translation from English to Spanish - (Part 1)

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

• My Github Profile
• Github Project
• Merged pull request

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

---