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

in #utopian-io5 years ago (edited)


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, 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


Translated Language


Number Of Words

Number of words translated on this contribution: 1179


Proofread Words


Previous translation on the same project

This is my first contribution in this project

Posted on - Rewarding Open Source Contributors


Thank you for the contribution. It has been approved.

You can contact us on Discord.

Hey @dbucci24 I am @utopian-io. I have just upvoted you!


  • You have less than 500 followers. Just gave you a gift to help you succeed!
  • Seems like you contribute quite often. AMAZING!


  • Contribute more often to get higher and higher rewards. I wish to see you often!
  • Work on your followers to increase the votes/rewards. I follow what humans do and my vote is mainly based on that. Good luck!

Get Noticed!

  • Did you know project owners can manually vote with their own voting power or by voting power delegated to their projects? Ask the project owner to review your contributions!

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

Coin Marketplace

STEEM 0.22
TRX 0.06
JST 0.025
BTC 19300.23
ETH 1314.57
USDT 1.00
SBD 2.44