You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
19 lines
588 B
Markdown
19 lines
588 B
Markdown
# Lean 4 Game
|
|
|
|
English | [한국어[Korean]](./README.ko.md)
|
|
|
|
## Contributing
|
|
|
|
Contributions to the Korean translation of `lean4game` are always welcome!
|
|
|
|
### Korean Translation
|
|
|
|
I ([Bulhwi Cha][bc]) use [OmegaT][omt] to translate English documentation into
|
|
Korean. The OmegaT project is in this directory, that is,
|
|
`client/public/locales/ko`. You need to install the [Okapi filters plugin for
|
|
OmegaT][okapi] to make OmegaT parse JSON files.
|
|
|
|
[bc]: https://github.com/chabulhwi
|
|
[omt]: https://omegat.org/
|
|
[okapi]: https://okapiframework.org/wiki/index.php/Okapi_Filters_Plugin_for_OmegaT
|