greg/NNG
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update README.md

Browse Source
This commit is contained in:
Jon Eugster
2024-03-21 14:47:08 +01:00
committed by GitHub
parent 6aced8e330
commit 7a9f61123d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@@ -23,7 +23,7 @@ PRs/Issues fixing typos, inconsistencies, missing hints, etc. are very welcome!
We would like the following requirements for a translation PR:
- One independent person from the community, who understands the language, gives a review on the PR. You could for example look at the [Lean Community Map](https://leanprover-community.github.io/meet.html) or ask on Zulip. Such a review an be quite generic and does not have to be super detailed.
- In the credits, ideally you should add yourself as a translator for this language.
- In the credits (i.e. in the string translating them), ideally you should add yourself as a translator for this language.
## Documentation