diff --git a/client/i18next-scanner.config.cjs b/client/i18next-scanner.config.cjs index e658b99b..dcc9703e 100644 --- a/client/i18next-scanner.config.cjs +++ b/client/i18next-scanner.config.cjs @@ -68,17 +68,25 @@ function flush(done) { done(); } - module.exports = { input: [ - 'client/src/**/*.{tsx,ts}', + 'src/**/*.{tsx,ts}', // Use ! to filter out files or directories - '!client/i18n/**', + '!i18n/**', '!**/node_modules/**', ], options: { debug: true, - removeUnusedKeys: true, + /** + * For example, the return value of a `TabTitle` element is + * subject to translation, but it is removed because it cannot + * be detected by i18next-scanner. + * + * The relevant section will be displayed as a warning when + * `npm run translate` is executed, and resolving the warning + * will restore it to `true`. + */ + removeUnusedKeys: false, func: { list: ['i18next.t', 'i18n.t', 't'], extensions: ['.js', '.jsx'] // not .ts or .tsx since we use i18next-scanner-typescript! @@ -111,8 +119,8 @@ module.exports = { return ''; // Return empty string for other languages }, resource: { - loadPath: './client/public/locales/{{lng}}/{{ns}}.json', - savePath: './client/public/locales/{{lng}}/{{ns}}.json', + loadPath: './public/locales/{{lng}}/{{ns}}.json', + savePath: './public/locales/{{lng}}/{{ns}}.json', jsonIndent: 2, lineEnding: '\n' }, @@ -148,5 +156,4 @@ module.exports = { done(); } ), - }; diff --git a/client/public/locales/de/translation.json b/client/public/locales/de/translation.json index ae1435d6..61402511 100644 --- a/client/public/locales/de/translation.json +++ b/client/public/locales/de/translation.json @@ -1,41 +1,21 @@ { - "Caption": { - "translation": "Lean-Lern-Spiel-Server" - }, - "Subcaption": { - "description": "Eine Sammlung von Lernspielen für den Beweisassistenten <1>Lean (Lean 4) und dessen mathematische Bibliothek <2>mathlib" - }, - "Development notes": { - "translation": "Entwicklungsstand", - "description": "Der Spieleserver und die alle Spiele befinden sich in fortlaufender Entwicklung. Wir bitten darum, Fehler und Ungereimtheiten als <1>GitHub Issue zu melden." - }, - "Adding new games": { - "translation": "Neue Spiele hinzufügen", - "description": "Für alle, die selbst Spiel entwickeln möchten, gibt es ein <1>GameSkeleton Github Repo als Vorlage und die Anleitung <2>How to Create a Game.

Die <3>Anleitung erklärt auch, wie ein solches Spiel mittels einer passenden URL auf den Sever geladen und gespiel werden kann. Fragen dazu beantworten wir gern.

Als Kacheln sichtbar ist auf dieser Seite nur eine kuratierte Auswahl an existierenden Spielen. Wir erweitern diese Auswahl auf Anfrage sehr gerne.

" - }, - "Funding": { - "translation": "Finanzierung", - "description": "Dieser Spiele-Server wird bereitgestellt vom Zentrum für Informations- und Medientechnologie der Heinrich-Heine-Universität Düsseldorf. Die lean4game-Software wurde im Rahmen des Projekts <1>ADAM: Anticipating the Digital Age of Mathematics entwickelt, finanziert durch das Programm Freiraum 2022 der Stiftung Innovation in der Hochschullehre. Der laufende Betrieb des Servers und die Weiterentwicklung der Software werden durch Mittel des AI for Math Fund der Stiftung Renaissance Philanthropy ermöglicht." - }, - "Server capacity": { - "translation": "Server-Auslastung", - "description": "Diese Server läuft auf universitäter Infrastruktur mit begrenzten Kapazitäten. Wir schätzen, dass unsere Konfiguration etwa 50 gleichzeitige Spiele mit hoher Leistung und bis zu 180 gleichzeitige Spiele mit geringerer Leistung unterstützen wird." - }, - "No Games": { - "description": "Kein Spiel geladen. Öffne <1>http://localhost:3000/#/g/local/FOLDER um ein Spiel direkt aus einem lokalen Ordner zu laden." - }, - "Progress saving": { - "translation": "Spielstandspeicherung", - "description": "Das Spiel speichert den Spielstand im lokalen Browserspeicher. Wird dieser gelöscht, ist der Spielstand nicht wiederherstellbar!
Achtung: In üblichen Browsern bewirkt ein löschen von Cookies auch ein löschen des lokalen Browserspeichers (z.B. \"local site data\"). Der Spielstand sollte vorgehend heruntergeladen werden!" - }, - "Development": { - "translation": "Entwicklung", - "description": "Der Spieleserver wurde entwickelt von Alexander Bentkamp, Jon Eugster. Basierend auf einem Prototyp von Patrick Massot.Der Sourcecode dieses Lean-Game-Engine ist <1>auf Github verfügbar. Bei Problemen, bitte einen <2>Github-Issue ausfüllen oder direkt mit uns Kontakt aufnehmen." - }, - "Accessibility": { - "translation": "Barrierefreiheit", - "description": "Sollten Sie auf Barrieren stoßen, die Ihnen den Zugang erschweren, wenden Sie sich bitte an uns! Wir sind bestrebt, solche Barrieren nach besten Kräften zu beseitigen." - }, + "Caption.translation": "Lean-Lern-Spiel-Server", + "Subcaption.description": "Eine Sammlung von Lernspielen für den Beweisassistenten <1>Lean (Lean 4) und dessen mathematische Bibliothek <2>mathlib", + "Development notes.translation": "Entwicklungsstand", + "Development notes.description": "Der Spieleserver und die alle Spiele befinden sich in fortlaufender Entwicklung. Wir bitten darum, Fehler und Ungereimtheiten als <1>GitHub Issue zu melden.", + "Adding new games.translation": "Neue Spiele hinzufügen", + "Adding new games.description": "Für alle, die selbst Spiel entwickeln möchten, gibt es ein <1>GameSkeleton Github Repo als Vorlage und die Anleitung <2>How to Create a Game.

Die <3>Anleitung erklärt auch, wie ein solches Spiel mittels einer passenden URL auf den Sever geladen und gespiel werden kann. Fragen dazu beantworten wir gern.

Als Kacheln sichtbar ist auf dieser Seite nur eine kuratierte Auswahl an existierenden Spielen. Wir erweitern diese Auswahl auf Anfrage sehr gerne.

", + "Funding.translation": "Finanzierung", + "Funding.description": "Dieser Spiele-Server wird bereitgestellt vom Zentrum für Informations- und Medientechnologie der Heinrich-Heine-Universität Düsseldorf. Die lean4game-Software wurde im Rahmen des Projekts <1>ADAM: Anticipating the Digital Age of Mathematics entwickelt, finanziert durch das Programm Freiraum 2022 der Stiftung Innovation in der Hochschullehre. Der laufende Betrieb des Servers und die Weiterentwicklung der Software werden durch Mittel des AI for Math Fund der Stiftung Renaissance Philanthropy ermöglicht.", + "Server capacity.translation": "Server-Auslastung", + "Server capacity.description": "Diese Server läuft auf universitäter Infrastruktur mit begrenzten Kapazitäten. Wir schätzen, dass unsere Konfiguration etwa 50 gleichzeitige Spiele mit hoher Leistung und bis zu 180 gleichzeitige Spiele mit geringerer Leistung unterstützen wird.", + "No Games.description": "Kein Spiel geladen. Öffne <1>http://localhost:3000/#/g/local/FOLDER um ein Spiel direkt aus einem lokalen Ordner zu laden.", + "Progress saving.translation": "Spielstandspeicherung", + "Progress saving.description": "Das Spiel speichert den Spielstand im lokalen Browserspeicher. Wird dieser gelöscht, ist der Spielstand nicht wiederherstellbar!
Achtung: In üblichen Browsern bewirkt ein löschen von Cookies auch ein löschen des lokalen Browserspeichers (z.B. \"local site data\"). Der Spielstand sollte vorgehend heruntergeladen werden!", + "Development.translation": "Entwicklung", + "Development.description": "Der Spieleserver wurde entwickelt von Alexander Bentkamp, Jon Eugster. Basierend auf einem Prototyp von Patrick Massot.Der Sourcecode dieses Lean-Game-Engine ist <1>auf Github verfügbar. Bei Problemen, bitte einen <2>Github-Issue ausfüllen oder direkt mit uns Kontakt aufnehmen.", + "Accessibility.translation": "Barrierefreiheit", + "Accessibility.description": "Sollten Sie auf Barrieren stoßen, die Ihnen den Zugang erschweren, wenden Sie sich bitte an uns! Wir sind bestrebt, solche Barrieren nach besten Kräften zu beseitigen.", "Tactics": "Taktiken", "

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:

": "

Die Spielregeln bestimmen ob es erlaubt ist, Levels zu überspringen und ob das Spiel überprüft welche Taktiken und Theoreme freigeschaltet sind und nur diese im Beweis akzeptiert.

<1>Bemerkung: \"Freigeschaltete\" Taktiken (und Theoreme) werden durch zwei Faktoren bestimmt: The Menge der Taktiken die minimal notwending sind um den Level zu lösen und dazu die Menge aller Taktiken, die in einem anderen Level freigeschaltet wurden. Das bedeutet wenn <1>simp in einem Level freigeschaltet wird, kann diese Taktik danach in jeglichen Levels verwendet werden.", "Game Rules": "Spielregeln", @@ -98,7 +78,7 @@ "Layout": "Seitenlayout", "Always visible": "Immer sichtbar", "Save my settings (in the browser store)": "Einstellungen im Browser speichern.", - "

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!": "

Wähle eine JSON-Datei mit einem Spielstand, um diesen zu laden.

<1><0>Achtung: Deraktuelle Spielstand wird dabei überschrieben! Wenn du noch einmal zum aktuellen Spielstand zurückkehren möchtest, solltest du zunächst den <2>aktuellen Spielstand herunterladen!", + "

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!": "

Wähle eine JSON-Datei mit einem Spielstand, um diesen zu laden.

<1><0>Achtung: Deraktuelle Spielstand wird dabei überschrieben! Wenn du noch einmal zum aktuellen Spielstand zurückkehren möchtest, solltest du zunächst den <2>aktuellen Spielstand herunterladen!", "Upload Saved Progress": "Spielstand hochladen", "Load selected file": "Ausgewählte Datei hochladen", "Mobile": "Mobil", diff --git a/client/public/locales/en/translation.json b/client/public/locales/en/translation.json index 62754add..f1fb363d 100644 --- a/client/public/locales/en/translation.json +++ b/client/public/locales/en/translation.json @@ -1,41 +1,21 @@ { - "Caption": { - "translation": "Lean Game Server" - }, - "Subcaption": { - "description": "A repository of learning games for the proof assistant <1>Lean (Lean 4) and its mathematical library <2>mathlib" - }, - "Development notes": { - "translation": "Development notes", - "description": "

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!

" - }, - "Adding new games": { - "translation": "Adding new games", - "description": "If you are considering writing your own game, you should use the <1>GameSkeleton Github Repo as a template and read <2>How to Create a Game.

You can directly load your games into the server and play it using the correct URL. The <3>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.

" - }, - "Funding": { - "translation": "Funding", - "description": "This server is hosted at Heinrich Heine University Düsseldorf. The lean4game software was developed as part of the project <1>ADAM: Anticipating the Digital Age of Mathematics, funded by the programme Freiraum 2022 of the Stiftung Innovation in der Hochschullehre. Ongoing maintenance and development are generously supported by Renaissance Philanthropy through the AI for Math Fund." - }, - "Server capacity": { - "translation": "Server capacity", - "description": "

As this server runs lean on our university machines, it has a limited capacity. We estimate that our setup will support around 50 simultaneous games at high performance, and up to 180 simultaneous games at a slower pace.

" - }, - "No Games": { - "description": "No Games loaded. Use <1>http://localhost:3000/#/g/local/FOLDER to open a game directly from a local folder." - }, - "Progress saving": { - "translation": "Progress saving", - "description": "The game stores your progress in your local browser storage. If you delete it, your progress will be lost!
Warning: In most browsers, deleting cookies will also clear the local storage (or \"local site data\"). Make sure to download your game progress first!" - }, - "Development": { - "translation": "Development", - "description": "The game engine has been created by Alexander Bentkamp, Jon Eugster. On a prototype by Patrick Massot. The source code of this Lean game engine is <1>available on Github. If you experience any problems, please file an <2>Issue on Github or get directly in contact." - }, - "Accessibility": { - "translation": "Accessibility", - "description": "If you experience any accessibilty barriers, please get in contact with us! We are dedicated to address such barriers to the best of our abilities." - }, + "Caption.translation": "Lean Game Server", + "Subcaption.description": "A repository of learning games for the proof assistant <1>Lean (Lean 4) and its mathematical library <2>mathlib", + "Development notes.translation": "Development notes", + "Development notes.description": "

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!

", + "Adding new games.translation": "Adding new games", + "Adding new games.description": "If you are considering writing your own game, you should use the <1>GameSkeleton Github Repo as a template and read <2>How to Create a Game.

You can directly load your games into the server and play it using the correct URL. The <3>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.

", + "Funding.translation": "Funding", + "Funding.description": "This server is hosted at Heinrich Heine University Düsseldorf. The lean4game software was developed as part of the project <1>ADAM: Anticipating the Digital Age of Mathematics, funded by the programme Freiraum 2022 of the Stiftung Innovation in der Hochschullehre. Ongoing maintenance and development are generously supported by Renaissance Philanthropy through the AI for Math Fund.", + "Server capacity.translation": "Server capacity", + "Server capacity.description": "

As this server runs lean on our university machines, it has a limited capacity. We estimate that our setup will support around 50 simultaneous games at high performance, and up to 180 simultaneous games at a slower pace.

", + "No Games.description": "No Games loaded. Use <1>http://localhost:3000/#/g/local/FOLDER to open a game directly from a local folder.", + "Progress saving.translation": "Progress saving", + "Progress saving.description": "The game stores your progress in your local browser storage. If you delete it, your progress will be lost!
Warning: In most browsers, deleting cookies will also clear the local storage (or \"local site data\"). Make sure to download your game progress first!", + "Development.translation": "Development", + "Development.description": "The game engine has been created by Alexander Bentkamp, Jon Eugster. On a prototype by Patrick Massot. The source code of this Lean game engine is <1>available on Github. If you experience any problems, please file an <2>Issue on Github or get directly in contact.", + "Accessibility.translation": "Accessibility", + "Accessibility.description": "If you experience any accessibilty barriers, please get in contact with us! We are dedicated to address such barriers to the best of our abilities.", "Tactics": "Tactics", "

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:

": "

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:

", "Game Rules": "Game Rules", diff --git a/client/public/locales/es/translation.json b/client/public/locales/es/translation.json index 06610de2..86284174 100644 --- a/client/public/locales/es/translation.json +++ b/client/public/locales/es/translation.json @@ -1,28 +1,14 @@ { - "Caption": { - "translation": "Servidor de Juegos de Lean" - }, - "Subcaption": { - "description": "Un repositorio de juegos educativos sobre el asistente de demostración <1>Lean, (Lean 4) y su librería matemática <5>mathlib " - }, - "Development notes": { - "translation": "Notas de desarrollo", - "description": "

La mayoría de los aspectos de los juegos y la infrastructura siguen en desarrollo. Por favor, reporta cualquier problema que encuentres en <1>GitHub.

" - }, - "Adding new games": { - "translation": "Cómo añadir juegos", - "description": "Si quieres escribir tu propio juego, utiliza el repositorio de GitHub <1>GameSkeleton como plantilla y lee el tutorial sobre <2>cómo crear un juego.

Puedes cargar tus juegos directamente al servidor y jugarlos usando la URL adecuada. Las <3>instrucciones anteriores también detallan cómo cargar tus juegos al servidor. Si tienes preguntas, puedes ponerte en contacto con nosotros.

Los juegos en esta página son añadidos manualmente. Por favor, contáctanos y añadiremos el tuyo con gusto.

" - }, - "Funding": { - "translation": "Financiación" - }, - "Server capacity": { - "translation": "Capacidad del servidor", - "description": "

Como este servidor corre en máquinas de nuestra universidad, tiene una capacidad limitada. Estimamos que nuestra configuración admitirá alrededor de 50 partidas simultáneas con un alto rendimiento y hasta 180 partidas simultáneas a un ritmo más lento.

." - }, - "No Games": { - "description": "No se ha cargado ningún juego. Usa <1>http://localhost:3000/#/g/local/FOLDER para abrir un juego directamente desde una carpeta local" - }, + "Caption.translation": "Servidor de Juegos de Lean", + "Subcaption.description": "Un repositorio de juegos educativos sobre el asistente de demostración <1>Lean, (Lean 4) y su librería matemática <5>mathlib ", + "Development notes.translation": "Notas de desarrollo", + "Development notes.description": "

La mayoría de los aspectos de los juegos y la infrastructura siguen en desarrollo. Por favor, reporta cualquier problema que encuentres en <1>GitHub.

", + "Adding new games.translation": "Cómo añadir juegos", + "Adding new games.description": "Si quieres escribir tu propio juego, utiliza el repositorio de GitHub <1>GameSkeleton como plantilla y lee el tutorial sobre <2>cómo crear un juego.

Puedes cargar tus juegos directamente al servidor y jugarlos usando la URL adecuada. Las <3>instrucciones anteriores también detallan cómo cargar tus juegos al servidor. Si tienes preguntas, puedes ponerte en contacto con nosotros.

Los juegos en esta página son añadidos manualmente. Por favor, contáctanos y añadiremos el tuyo con gusto.

", + "Funding.translation": "Financiación", + "Server capacity.translation": "Capacidad del servidor", + "Server capacity.description": "

Como este servidor corre en máquinas de nuestra universidad, tiene una capacidad limitada. Estimamos que nuestra configuración admitirá alrededor de 50 partidas simultáneas con un alto rendimiento y hasta 180 partidas simultáneas a un ritmo más lento.

.", + "No Games.description": "No se ha cargado ningún juego. Usa <1>http://localhost:3000/#/g/local/FOLDER para abrir un juego directamente desde una carpeta local", "Intro": "Introducción", "Game Introduction": "Introducción al juego", "Start": "Empezar", diff --git a/client/public/locales/fr/translation.json b/client/public/locales/fr/translation.json index 08b25bce..0fa3bc90 100644 --- a/client/public/locales/fr/translation.json +++ b/client/public/locales/fr/translation.json @@ -1,28 +1,14 @@ { - "Caption": { - "translation": "Serveur de jeux Lean" - }, - "Subcaption": { - "description": "Un répertoire de jeux d'apprentissage pour l'assistant de preuve <1>Lean (Lean 4) et sa bibliothèque mathématique <2>mathlib" - }, - "Development notes": { - "translation": "Notes de développement", - "description": "

La plupart des aspects des jeux et de l'infrastructure sont encore en développement. N'hésitez pas à créer un <1>GitHub Issue pour tout problème que vous rencontrez !

" - }, - "Adding new games": { - "translation": "Ajouter de nouveaux jeux", - "description": "Si vous envisagez d'écrire votre propre jeu, vous devriez utiliser le <1>GameSkeleton Github Repo comme modèle et lire <2>Comment créer un jeu.

Vous pouvez directement charger vos jeux sur le serveur et y jouer en utilisant l'URL correcte. Les <3>instructions ci-dessus expliquent également les détails pour charger votre jeu sur le serveur. Nous vous encourageons à nous contacter si vous avez des questions.

Les jeux en vedette sur cette page sont ajoutés manuellement. Contactez-nous et nous ajouterons volontiers le vôtre.

" - }, - "Funding": { - "translation": "Financement" - }, - "Server capacity": { - "translation": "Capacité du serveur", - "description": "

Comme ce serveur exécute Lean sur nos machines universitaires, il a une capacité limitée. Nous estimons que notre configuration permettra de prendre en charge environ 50 parties simultanées à haute performance et jusqu'à 180 parties simultanées à un rythme plus lent.

" - }, - "No Games": { - "description": "Aucun jeu chargé. Utilisez <1>http://localhost:3000/#/g/local/FOLDER pour ouvrir un jeu directement depuis un dossier local." - }, + "Caption.translation": "Serveur de jeux Lean", + "Subcaption.description": "Un répertoire de jeux d'apprentissage pour l'assistant de preuve <1>Lean (Lean 4) et sa bibliothèque mathématique <2>mathlib", + "Development notes.translation": "Notes de développement", + "Development notes.description": "

La plupart des aspects des jeux et de l'infrastructure sont encore en développement. N'hésitez pas à créer un <1>GitHub Issue pour tout problème que vous rencontrez !

", + "Adding new games.translation": "Ajouter de nouveaux jeux", + "Adding new games.description": "Si vous envisagez d'écrire votre propre jeu, vous devriez utiliser le <1>GameSkeleton Github Repo comme modèle et lire <2>Comment créer un jeu.

Vous pouvez directement charger vos jeux sur le serveur et y jouer en utilisant l'URL correcte. Les <3>instructions ci-dessus expliquent également les détails pour charger votre jeu sur le serveur. Nous vous encourageons à nous contacter si vous avez des questions.

Les jeux en vedette sur cette page sont ajoutés manuellement. Contactez-nous et nous ajouterons volontiers le vôtre.

", + "Funding.translation": "Financement", + "Server capacity.translation": "Capacité du serveur", + "Server capacity.description": "

Comme ce serveur exécute Lean sur nos machines universitaires, il a une capacité limitée. Nous estimons que notre configuration permettra de prendre en charge environ 50 parties simultanées à haute performance et jusqu'à 180 parties simultanées à un rythme plus lent.

", + "No Games.description": "Aucun jeu chargé. Utilisez <1>http://localhost:3000/#/g/local/FOLDER pour ouvrir un jeu directement depuis un dossier local.", "Intro": "Introduction", "Game Introduction": "Introduction au jeu", "Start": "Commencer", diff --git a/client/public/locales/ko/target/translation.json b/client/public/locales/ko/target/translation.json index d213d044..60db785f 100644 --- a/client/public/locales/ko/target/translation.json +++ b/client/public/locales/ko/target/translation.json @@ -1,30 +1,16 @@ { - "Caption": { - "translation": "린 게임 서버" - }, - "Subcaption": { - "description": "<1>린(Lean 4)<\/1> 증명 보조기와 그 수학 라이브러리 <2>매스리브(mathlib)<\/2>를 학습하기 위한 게임들의 저장소" - }, - "Development notes": { - "translation": "개발 노트", - "description": "

게임과 그 기반 시설의 상당 부분은 여전히 개발 중입니다. 문제를 겪으면 거리낌 없이 <1>깃허브 이슈<\/1>를 제출해 주세요!<\/p>" - }, - "Adding new games": { - "translation": "새 게임 추가하기", - "description": "여러분이 직접 게임을 작성할 생각이 있다면, <1>GameSkeleton 깃허브 저장소<\/1>를 양식[템플릿]으로 이용하고 <2>'게임 만들기(Creating a Game)'<\/2> 문서를 읽으십시오.

여러분이 작성한 게임을 직접 서버에서 불러오고, 정확한 URL을 이용해 그 게임을 하실 수 있습니다. 여러분의 게임을 서버에서 불러오는 방법에 관한 세부 사항도 위의 <3>설명서<\/3>에 나와 있습니다. 궁금한 점이 있으면 저희에게 연락해 주십시오.<\/p>

이 페이지에 실린 게임들은 수동으로 추가됐습니다. 저희에게 연락하시면 여러분의 게임을 기꺼이 추가하겠습니다." - }, - "Funding": { - "translation": "재정 지원" - }, - "Server capacity": { - "translation": "서버 이용량", - "description": "

이 서버는 저희 대학의 여러 컴퓨터에서 린을 실행하므로 그 이용량이 제한돼 있습니다. 저희 구성은 고성능으로 약 50개의 동시 게임을 지원할 수 있으며, 속도를 낮출 경우 최대 180개의 동시 게임을 지원할 수 있을 것으로 예상됩니다.<\/p>" - }, - "No Games": { - "description": "불러온 게임 없음. <1>http:\/\/localhost:3000\/#\/g\/local\/FOLDER<\/1>를 이용해 지역[로컬] 폴더에서 게임을 직접 여십시오." - }, + "Caption.translation": "린 게임 서버", + "Subcaption.description": "<1>린(Lean 4) 증명 보조기와 그 수학 라이브러리 <2>매스리브(mathlib)를 학습하기 위한 게임들의 저장소", + "Development notes.translation": "개발 노트", + "Development notes.description": "

게임과 그 기반 시설의 상당 부분은 여전히 개발 중입니다. 문제를 겪으면 거리낌 없이 <1>깃허브 이슈를 제출해 주세요!

", + "Adding new games.translation": "새 게임 추가하기", + "Adding new games.description": "여러분이 직접 게임을 작성할 생각이 있다면, <1>GameSkeleton 깃허브 저장소를 양식[템플릿]으로 이용하고 <2>'게임 만들기(Creating a Game)' 문서를 읽으십시오.

여러분이 작성한 게임을 직접 서버에서 불러오고, 정확한 URL을 이용해 그 게임을 하실 수 있습니다. 여러분의 게임을 서버에서 불러오는 방법에 관한 세부 사항도 위의 <3>설명서에 나와 있습니다. 궁금한 점이 있으면 저희에게 연락해 주십시오.

이 페이지에 실린 게임들은 수동으로 추가됐습니다. 저희에게 연락하시면 여러분의 게임을 기꺼이 추가하겠습니다.", + "Funding.translation": "재정 지원", + "Server capacity.translation": "서버 이용량", + "Server capacity.description": "

이 서버는 저희 대학의 여러 컴퓨터에서 린을 실행하므로 그 이용량이 제한돼 있습니다. 저희 구성은 고성능으로 약 50개의 동시 게임을 지원할 수 있으며, 속도를 낮출 경우 최대 180개의 동시 게임을 지원할 수 있을 것으로 예상됩니다.

", + "No Games.description": "불러온 게임 없음. <1>http://localhost:3000/#/g/local/FOLDER를 이용해 지역[로컬] 폴더에서 게임을 직접 여십시오.", "Tactics": "전략", - "

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:

": "

게임 규칙에 따라, 단계들을 건너뛰어도 되는지 그리고 증명을 작성할 때 잠금 해제가 된 전략과 정리만 이용할 수 있는지가 정해집니다.<\/p><1>\n\n참고: '잠금 해제'가 된 전략이나 정리는 다음 두 부류로 정해집니다. (1) 해당 단계를 푸는 데 필요한 최소한의 전략이나 정리의 모임, (2) 다른 단계에서 잠금 해제를 한 전략이나 정리. 따라서 여러분이 <1>simp<\/1> 전략을 잠금 해제 하면, 그 뒤로 어느 단계에서든 이 전략을 이용할 수 있습니다.<\/1>

선택할 수 있는 게임 규칙은 다음과 같습니다.<\/p>", + "

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>\n\n참고: '잠금 해제'가 된 전략이나 정리는 다음 두 부류로 정해집니다. (1) 해당 단계를 푸는 데 필요한 최소한의 전략이나 정리의 모임, (2) 다른 단계에서 잠금 해제를 한 전략이나 정리. 따라서 여러분이 <1>simp 전략을 잠금 해제 하면, 그 뒤로 어느 단계에서든 이 전략을 이용할 수 있습니다.

선택할 수 있는 게임 규칙은 다음과 같습니다.

", "Game Rules": "게임 규칙", "levels": "단계", "tactics": "전략", @@ -85,7 +71,7 @@ "Language": "언어", "RAM": "램", "CPU": "CPU", - "

Do you want to delete your saved progress irreversibly?

(This deletes your proofs and your collected inventory. Saves from other games are not deleted.)

": "

저장된 진도를 불가역적으로 삭제하시겠습니까?<\/p>

(이를 선택하시면 증명과 인벤토리 안의 수집 항목들이 삭제됩니다. 다른 게임에 저장된 정보는 삭제되지 않습니다.)<\/p>", + "

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": "내려받고 삭제하기", @@ -93,7 +79,7 @@ "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 파일을 선택해 진도를 불러오십시오.<\/p><1><0>경고:<\/0> 이를 실행하면 현재의 게임 진도가 삭제됩니다! <2>현재의 게임 진도<\/2>를 먼저 내려받을지 판단하십시오!<\/1>", + "

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": "모바일", @@ -104,6 +90,6 @@ "Retry proof from here": "여기부터 증명 다시 시도하기", "Retry": "다시 시도하기", "Failed command": "실패한 명령", - "This server has been developed as part of the project <1>ADAM: Anticipating the Digital Age of Mathematics at Heinrich Heine University Düsseldorf.": "이 서버는 뒤셀도르프의 하인리히-하이네 대학에서 진행하는 <1>'아담(ADAM): 수학의 디지털 시대 준비하기'<\/1> 프로젝트의 일환으로 개발됐습니다.", + "This server has been developed as part of the project <1>ADAM: Anticipating the Digital Age of Mathematics at Heinrich Heine University Düsseldorf.": "이 서버는 뒤셀도르프의 하인리히-하이네 대학에서 진행하는 <1>'아담(ADAM): 수학의 디지털 시대 준비하기' 프로젝트의 일환으로 개발됐습니다.", " used": " 쓰임" } diff --git a/client/public/locales/uk/translation.json b/client/public/locales/uk/translation.json index 527e1f2d..af72364f 100644 --- a/client/public/locales/uk/translation.json +++ b/client/public/locales/uk/translation.json @@ -1,27 +1,13 @@ { - "Caption": { - "translation": "Ігровий сервер Lean" - }, - "Subcaption": { - "description": "Репозиторій навчальних ігор для помічника з доказів <1>Lean (Lean 4) і його математичної бібліотеки <2>mathlib" - }, - "Development notes": { - "translation": "Нотатки щодо розробки", - "description": "

Більшість аспектів ігор та інфраструктури все ще знаходяться в розробці. Не соромтеся надсилати <1>GitHub issue про будь-які проблеми, які виникають!

" - }, - "Adding new games": { - "translation": "Додавання нових ігор", - "description": "Якщо ви плануєте написати власну гру, вам слід використовувати <1>GameSkeleton Github репу як шаблон і прочитати <2>Як створити гру.

Ви можете безпосередньо завантажити свої ігри на сервер і грати в них за допомогою правильної URL-адреси. У <3>наведених вище інструкціях також пояснюється, як завантажити гру на сервер. Ми хотіли б заохотити вас зв’язатися з нами, якщо у вас виникнуть запитання.

Рекомендовані ігри на цій сторінці додаються вручну. Зв’яжіться з нами, і ми з радістю додамо ваші.

" - }, - "Funding": { - "translation": "Фінансування" - }, - "Server Capacity": { - "description": "

Оскільки цей запуски серверу покладаються на наші університетські машини, віни мають обмежену потужність. Ми оцінюємо, що наша конфігурація буде підтримувати близько 50 одночасних ігор з високою продуктивністю і до 180 одночасних ігор з меншою швидкістю. Ми сподіваємося, що в майбутньому ми зможемо розглянути та краще перевірити це обмеження." - }, - "No Games": { - "description": "Немає завантажених ігор. Використовуйте <1>http://localhost:3000/#/g/local/FOLDER, щоб відкрити гру безпосередньо з локальної папки." - }, + "Caption.translation": "Ігровий сервер Lean", + "Subcaption.description": "Репозиторій навчальних ігор для помічника з доказів <1>Lean (Lean 4) і його математичної бібліотеки <2>mathlib", + "Development notes.translation": "Нотатки щодо розробки", + "Development notes.description": "

Більшість аспектів ігор та інфраструктури все ще знаходяться в розробці. Не соромтеся надсилати <1>GitHub issue про будь-які проблеми, які виникають!

", + "Adding new games.translation": "Додавання нових ігор", + "Adding new games.description": "Якщо ви плануєте написати власну гру, вам слід використовувати <1>GameSkeleton Github репу як шаблон і прочитати <2>Як створити гру.

Ви можете безпосередньо завантажити свої ігри на сервер і грати в них за допомогою правильної URL-адреси. У <3>наведених вище інструкціях також пояснюється, як завантажити гру на сервер. Ми хотіли б заохотити вас зв’язатися з нами, якщо у вас виникнуть запитання.

Рекомендовані ігри на цій сторінці додаються вручну. Зв’яжіться з нами, і ми з радістю додамо ваші.

", + "Funding.translation": "Фінансування", + "Server Capacity.description": "

Оскільки цей запуски серверу покладаються на наші університетські машини, віни мають обмежену потужність. Ми оцінюємо, що наша конфігурація буде підтримувати близько 50 одночасних ігор з високою продуктивністю і до 180 одночасних ігор з меншою швидкістю. Ми сподіваємося, що в майбутньому ми зможемо розглянути та краще перевірити це обмеження.", + "No Games.description": "Немає завантажених ігор. Використовуйте <1>http://localhost:3000/#/g/local/FOLDER, щоб відкрити гру безпосередньо з локальної папки.", "Tactics": "Тактики", "

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": "Правила гри", diff --git a/client/public/locales/zh/translation.json b/client/public/locales/zh/translation.json index 4399ee8a..ce4ad8a1 100644 --- a/client/public/locales/zh/translation.json +++ b/client/public/locales/zh/translation.json @@ -1,23 +1,11 @@ { - "Caption": { - "translation": "LEAN 游戏服务器" - }, - "Subcaption": { - "description": "这是一个为证明助手 <1>Lean (Lean 4) 及其数学库 <5>mathlib 设计的学习游戏库" - }, - "Development notes": { - "translation": "开发笔记" - }, - "Adding new games": { - "translation": "添加新游戏", - "description": "如果你打算编写自己的游戏，可以使用 <1>GameSkeleton Github Repo 作为模板，并参阅 <2>如何创建游戏。

你可以直接将游戏上传至服务器，并通过正确的 URL 进行游戏。上面的 <3>说明 已详细介绍了如何将游戏加载到服务器的步骤。如果你有任何疑问，请随时联系我们。

本页上的精选游戏都是手动添加的。如果你想添加你的游戏，请与我们联系，我们非常欢迎。

" - }, - "Funding": { - "translation": "资助" - }, - "No Games":{ - "description": "未加载游戏。访问 <1>http://localhost:3000/#/g/local/FOLDER 从本地文件夹打开游戏。" - }, + "Caption.translation": "LEAN 游戏服务器", + "Subcaption.description": "这是一个为证明助手 <1>Lean (Lean 4) 及其数学库 <5>mathlib 设计的学习游戏库", + "Development notes.translation": "开发笔记", + "Adding new games.translation": "添加新游戏", + "Adding new games.description": "如果你打算编写自己的游戏，可以使用 <1>GameSkeleton Github Repo 作为模板，并参阅 <2>如何创建游戏。

你可以直接将游戏上传至服务器，并通过正确的 URL 进行游戏。上面的 <3>说明 已详细介绍了如何将游戏加载到服务器的步骤。如果你有任何疑问，请随时联系我们。

本页上的精选游戏都是手动添加的。如果你想添加你的游戏，请与我们联系，我们非常欢迎。

", + "Funding.translation": "资助", + "No Games.description": "未加载游戏。访问 <1>http://localhost:3000/#/g/local/FOLDER 从本地文件夹打开游戏。", "Tactics": "策略", "

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": "游戏规则",