Skip to content

Fix Title Page and Divisibility Club en ru #4

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
rnsatg wants to merge 5 commits into from
Closed

Fix Title Page and Divisibility Club en ru #4

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
9db73a0
Fix Lean language in Game.pot
rnsatg Oct 15, 2026
96fd8d1
Sync Russian with me previous PR against Game.po
rnsatg Oct 15, 2026
c029957
Fix tauto from previous commit in Game.po
rnsatg Oct 15, 2026
3c26167
Fix Russian in Game.po
rnsatg Oct 15, 2026
396ea94
Fix world language in Game.pot
rnsatg Oct 15, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions .i18n/en/Game.pot
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1342,7 +1342,7 @@ msgid "# Welcome to the Number Theory Game\n"
"Our ultimate goal is to understand how remainders work, how to safely manipulate\n"
"equations modulo §0, and eventually reach powerful results like the\n"
"Chinese Remainder Theorem. We will do this by solving levels in a computer\n"
"puzzle game called Lean.\n"
"puzzle game using Lean theorem prover.\n"
"\n"
"# Read this.\n"
"\n"
Expand Down Expand Up @@ -1965,9 +1965,9 @@ msgstr ""
#: Game.Levels.Divisibility
msgid "Welcome to World 1: The Divisibility Club!\n"
"\n"
"In this first world, you will learn the basics of Lean 4, how to interact with the system, and how to write your very first proofs. We will explore the mathematical concept of divisibility (§0).\n"
"In this first World, you will learn the basics of Lean 4, how to interact with the system, and how to write your very first proofs. We will explore the mathematical concept of divisibility (§0).\n"
"\n"
"By the end of this world, you will have built a solid foundation for integer arithmetic and proven that divisibility chains perfectly (transitivity). Take your time, read the explanations carefully, and have fun!"
"By completing this World, you will build a solid foundation for integer arithmetic and proven that divisibility chains perfectly (transitivity). Take your time, read the explanations carefully, and have fun!"
msgstr ""

#: Game.Levels.Congruence.L09_mod_scale
Expand Down
10 changes: 5 additions & 5 deletions .i18n/ru/Game.po
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2247,7 +2247,7 @@ msgstr ""
"преобразовывать\n"
"уравнения по модулю §0, и в итоге прийти к таким мощным результатам, как\n"
"Китайская теорема об остатках. Мы сделаем это, решая уровни компьютерной\n"
"головоломки под названием Lean.\n"
"головоломки, применяя помощник доказательств Lean.\n"
"\n"
"# Прочтите это.\n"
"\n"
Expand Down Expand Up @@ -3282,13 +3282,13 @@ msgid ""
msgstr ""
"Добро пожаловать в мир 1: Клуб делимости!\n"
"\n"
"В этом первом мире вы изучите основы Lean 4, научитесь взаимодействовать с "
"В первом Мире игры вы изучите основы Lean 4, научитесь взаимодействовать с "
"системой и писать свои самые первые доказательства. Мы исследуем "
"математическое понятие делимости (§0).\n"
"\n"
"К концу этого мира вы заложите прочный фундамент арифметики целых чисел, и "
"вы докажете, что свойство делимости транзитивно (транзитивность). Не "
"торопитесь, внимательно читайте объяснения и получайте удовольствие!"
"Пройдя этот Мир игры, вы заложите прочный фундамент арифметики целых чисел, и "
"докажете, что делимость транзитивна (транзитивность делимости). Не "
"торопитесь, внимательно читайте объяснения, сочетайте приятное с полезным!"

#: Game.Levels.Congruence.L09_mod_scale
msgid "Scaling the Modulus"
Expand Down