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
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
Thank you for the contribution. It has been approved.
You can contact us on Discord.
[utopian-moderator]
Hey @dbucci24 I am @utopian-io. I have just upvoted you!
Achievements
Suggestions
Get Noticed!
Community-Driven Witness!
I am the first and only Steem Community-Driven Witness. Participate on Discord. Lets GROW TOGETHER!
Up-vote this comment to grow my power and help Open Source contributions like this one. Want to chat? Join me on Discord https://discord.gg/Pc8HG9x