Game rules determine if it is allowed to skip levels and if the games runs checks to only allow unlocked tactics and theorems in proofs.
<1>Note: \"Unlocked\" tactics (or theorems) are determined by two things: The set of minimal tactics needed to solve a level, plus any tactics you unlocked in another level. That means if you unlock <1>simp in a level, you can use it henceforth in any level.The options are:
": "Правила гри визначають, чи можна пропускати рівні та чи перевіряються ігри, щоб дозволити лише розблоковані тактики та теореми в доказах.
<1>Примітка. \"Розблоковані\" тактики (або теореми) визначаються двома речами: набором мінімальних тактик, необхідних для вирішення рівня, плюс будь-які тактики, які ви розблокували на іншому рівні. Це означає, що якщо ви розблокуєте <1>simp на рівні, ви зможете використовувати його на будь-якому рівні.Варіанти:
", + "Game Rules": "Правила гри", + "levels": "рівні", + "tactics": "тактики", + "regular": "звичайний", + "relaxed": "розслаблений", + "none": "без правил", + "Rules": "Правила", + "Intro": "Вступ", + "Game Introduction": "Вступ до гри", + "World selection": "Вибір світу", + "Start": "Почати", + "Inventory": "Інвентар", + "next level": "наступний рівень", + "Next": "Далі", + "back to world selection": "назад до вибора світу", + "Leave World": "Залишити світ", + "previous level": "попередній рівень", + "Previous": "Попередній", + "Editor mode is enforced!": "Примусовий режим редактора!", + "Editor mode": "Режим редактора", + "Typewriter mode": "Режим друку", + "information, Impressum, privacy policy": "інформація, імпресум, політика конфіденційності", + "Preferences": "Уподобання", + "Game Info & Credits": "Інформація про гру та кредити", + "Game Info": "Інформація про гру", + "Clear Progress": "Очистити прогрес", + "Erase": "Стерти", + "Download Progress": "Скачати прогресс", + "Download": "Скачати", + "Load Progress from JSON": "Завантажити прогрес із JSON", + "Upload": "Завантажити", + "Home": "Головна", + "back to games selection": "повернутися до вибору ігор", + "close inventory": "закрити інвентар", + "show inventory": "показати інвентар", + "World": "Світ", + "Show more help!": "Показати більше справки!", + "Goal": "Ціль", + "Current Goal": "Поточна ціль", + "Objects": "Об'єкти", + "Assumptions": "Припущення", + "Further Goals": "Подальщі цілі", + "No Goals": "Немає цілей", + "Loading goal…": "Завантажується ціль…", + "Click somewhere in the Lean file to enable the infoview.": "Натисніть десь у файлі Lean, щоб увімкнути інформаційне вікно.", + "Waiting for Lean server to start…": "Очікування запуску Lean-сервера…", + "Level completed! 🎉": "Рівень пройдено! 🎉", + "Level completed with warnings 🎭": "Рівень пройдено з попередженнями 🎭", + "Active Goal": "Активна ціль", + "Crashed! Go to editor mode and fix your proof! Last server response:": "Зламалося! Перейдіть у режим редактора та виправте доказ! Остання відповідь сервера:", + "Line": "Рядок", + "Character": "Символ", + "Loading messages…": "Завантаження повідомлень…", + "Execute": "Виконати", + "Definitions": "Визначення", + "Theorems": "Теореми", + "Not unlocked yet": "Ще не розблоковано", + "Not available in this level": "Недоступно на цьому рівні", + "A repository of learning games for the proof assistant <1>Lean (Lean 4) and its mathematical library <5>mathlib": "Репозиторій навчальних ігор для помічника з доказів <1>Lean (Lean 4) і його математичної бібліотеки <5>mathlib", + "No Games loaded. Use <1>http://localhost:3000/#/g/local/FOLDER to open a game directly from a local folder.": "Немає завантажених ігор. Використовуйте <1>http://localhost:3000/#/g/local/FOLDER, щоб відкрити гру безпосередньо з локальної папки.", + "As this server runs lean on our university machines, it has a limited capacity. Our current estimate is about 70 simultaneous games. We hope to address and test this limitation better in the future.
<1>Most aspects of the games and the infrastructure are still in development. Feel free to file a <1>GitHub Issue about any problems you experience!": "Оскільки цей запуски серверу покладаються на наші університетські машини, віни мають обмежену потужність. Наша поточна оцінка становить приблизно 70 одночасних ігор. Ми сподіваємося, що в майбутньому ми зможемо розглянути та краще перевірити це обмеження.
<1>Більшість аспектів ігор та інфраструктури все ще знаходяться в розробці. Не соромтеся надсилати <1>GitHub issue про будь-які проблеми, які виникають!", + "This server has been developed as part of the project <1>ADAM : Anticipating the Digital Age of Mathematics at Heinrich-Heine-Universität in Düsseldorf.": "Цей сервер був розроблений в рамках проекту <1>ADAM : Anticipating the Digital Age of Mathematics в університеті Генріха Гейне в Дюссельдорфі.", + "Prerequisites": "Передумови", + "Worlds": "Світи", + "Levels": "Рівні", + "Language": "Мови", + "Development notes": "Нотатки щодо розробки", + "Adding new games": "Додавання нових ігор", + "Funding": "Фінансування", + "Do you want to delete your saved progress irreversibly?
(This deletes your proofs and your collected inventory. Saves from other games are not deleted.)
": "Ви хочете безповоротно видалити збережений прогрес?
(Це видаляє ваші докази та зібраний інвентар. Збереження з інших ігор не видаляються.)
", + "Delete Progress?": "Видалити прогрес?", + "Delete": "Видалити", + "Download & Delete": "Скачати та видалити", + "Cancel": "Скасувати", + "Layout": "Макет", + "Always visible": "Завжди видно", + "Save my settings (in the browser store)": "Зберегти мої налаштування (в сховищі браузера)", + "Select a JSON file with the saved game progress to load your progress.
<1><0>Warning: This will delete your current game progress! Consider <2>downloading your current progress first!": "Виберіть файл JSON із збереженим прогресом гри, щоб завантажити ваш прогрес.
<1><0>Увага: Це видалить ваш поточний прогрес у грі! Спершу <2>завантажте свій поточний прогрес!", + "Upload Saved Progress": "Завантажити збережений прогрес", + "Load selected file": "Завантажити вибраний файл", + "Mobile": "Мобільний", + "Auto": "Автоматично", + "Desktop": "Десктоп", + "<0>If you are considering writing your own game, you should use the <1>GameSkeleton Github Repo as a template and read <3>How to Create a Game.<1>You can directly load your games into the server and play it using the correct URL. The <1>instructions above also explain the details for how to load your game to the server. We'd like to encourage you to contact us if you have any questions.Featured games on this page are added manually. Please get in contact and we'll happily add yours.
": "<0>Якщо ви плануєте написати власну гру, вам слід використовувати <1>GameSkeleton Github репу як шаблон і прочитати <3>Як створити гру.<1>Ви можете безпосередньо завантажити свої ігри на сервер і грати в них за допомогою правильної URL-адреси. У <1>наведених вище інструкціях також пояснюється, як завантажити гру на сервер. Ми хотіли б заохотити вас зв’язатися з нами, якщо у вас виникнуть запитання.Рекомендовані ігри на цій сторінці додаються вручну. Зв’яжіться з нами, і ми з радістю додамо ваші.
", + "Level": "Рівень", + "Introduction": "Вступ", + "Retry proof from here": "Повторіть доказ звідси", + "Retry": "Повторити", + "Failed command": "Невдала команда" +} diff --git a/client/src/config.json b/client/src/config.json index 8ae10b0..f510a0a 100644 --- a/client/src/config.json +++ b/client/src/config.json @@ -32,6 +32,11 @@ "iso": "ko", "flag": "KR", "name": "한국어" + }, + { + "iso": "uk", + "flag": "UA", + "name": "Українська" } ] }