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

in #utopian-io5 years ago (edited)

cover-web.png

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:

image.png

Links related to the translation

Source Language

English

Translated Language

Spanish

Number Of Words

Number of words translated on this contribution: 1179

ezgif.com-video-to-gif.gif

image.png

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

Sort:  

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

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

Suggestions

  • 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!

mooncryption-utopian-witness-gif

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

Coin Marketplace

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