Skip to content

Add pt-BR translation - #169

Open
felipponn wants to merge 2 commits into
leanprover-community:mainfrom
felipponn:main
Open

felipponn wants to merge 2 commits into
leanprover-community:mainfrom
felipponn:main

Conversation

@felipponn

Copy link
Copy Markdown

NNG has helped me learn and understand Lean a great deal, and I think more people should play it. Ideally, a pt-BR should help.

I am happy to find a Portuguese speaker from the community to review the translation if that is required, please let me know. And of course, tell me if any adjustment is needed.

@TentativeConvert

Copy link
Copy Markdown
Contributor

Thanks for contributing! Yes, it would be very helpful if you could find a Portuguese speaker from the community to review the translation.

@felipponn

Copy link
Copy Markdown
Author

Great! I spoke with @arademaker and he's happy to review the translation. I'll ask him to go through the strings, play through the game, and leave any corrections here.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants