From f0aa6b58edbfb2e66012434a4ec5b2af11815384 Mon Sep 17 00:00:00 2001 From: Marcus Zibrowius Date: Fri, 8 Nov 2024 16:51:38 +0100 Subject: [PATCH] Edits on landing page, with updates to German & Spanish translations. modified: ../de/translation.json modified: ../en/translation.json modified: ../es/translation.json modified: ../ko/target/translation.json modified: translation.json modified: ../../../src/components/landing_page.tsx --- client/public/locales/de/translation.json | 67 ++++++++++--------- client/public/locales/en/translation.json | 9 +-- client/public/locales/es/translation.json | 17 +++-- .../public/locales/ko/target/translation.json | 21 +++--- client/public/locales/zh/translation.json | 12 ++-- client/src/components/landing_page.tsx | 19 +++--- 6 files changed, 81 insertions(+), 64 deletions(-) diff --git a/client/public/locales/de/translation.json b/client/public/locales/de/translation.json index 9efb4cd..9043b17 100644 --- a/client/public/locales/de/translation.json +++ b/client/public/locales/de/translation.json @@ -1,22 +1,22 @@ { "Tactics": "Taktiken", - "Lean Game Server": "Lean-Spielserver", + "Lean Game Server": "Lean-Lern-Spiel-Server", "

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", - "levels": "Levels", + "levels": "Level", "tactics": "Taktiken", "regular": "regulär", "relaxed": "relaxed", "none": "keine", "Rules": "Regeln", - "Intro": "Inführung", - "Game Introduction": "Spieleinführung", - "World selection": "Weltenauswahl", + "Intro": "Prolog", + "Game Introduction": "Prolog", + "World selection": "Übersicht", "Start": "Start", "Inventory": "Inventar", "next level": "nächstes Level", "Next": "Weiter", - "back to world selection": "Zurück zur Weltenauswahl", + "back to world selection": "Zurück zur Übersicht", "Leave World": "Welt verlassen", "previous level": "voheriges Level", "Previous": "Zurück", @@ -31,64 +31,69 @@ "Erase": "Löschen", "Download Progress": "Spielstand herunterladen", "Download": "Herunterladen", - "Load Progress from JSON": "Spielstand von JSON laden", + "Load Progress from JSON": "Spielstand aus JSON laden", "Upload": "Laden", "Home": "Home", "back to games selection": "Zurück zur Spielauswahl", - "close inventory": "Inventar schliessen", + "close inventory": "Inventar schließen", "show inventory": "Inventar öffnen", "World": "Welt", "Show more help!": "Mehr Hilfe", - "Goal": "Goal", - "Current Goal": "Aktuelles Goal", + "Goal": "Beweisziel", + "Current Goal": "Aktuelles Beweisziel", "Objects": "Objekte", "Assumptions": "Annahmen", - "Further Goals": "Weitere Goals", - "No Goals": "Keine Goals", - "Loading goal…": "Goal wird geladen…", + "Further Goals": "Weitere Ziele", + "No Goals": "Keine Beweisziele", + "Loading goal…": "Beweisziel wird geladen…", "Click somewhere in the Lean file to enable the infoview.": "Ein Klick in den Lean-Code aktiviert den Infoview.", - "Waiting for Lean server to start…": "Warte auf das Starten des Lean-Servers…", + "Waiting for Lean server to start…": "Warte auf den Lean-Server …", "Level completed! 🎉": "Level gelöst! 🎉", "Level completed with warnings 🎭": "Level mit Warnungen abgeschlossen 🎭", - "Active Goal": "Aktuelles Goal", - "Crashed! Go to editor mode and fix your proof! Last server response:": "", + "Active Goal": "Aktuelles Ziel", + "Crashed! Go to editor mode and fix your proof! Last server response:": "Abgestürzt! Wechsle in den Editor-Modus, um deinen Beweis zu repariaeren. Letzte Meldung vom Server:", "Line": "Zeile", "Character": "Charakter", - "Loading messages…": "", + "Loading messages…": "Lade Meldungen …", "Execute": "Ausführen", "Definitions": "Definitionen", "Theorems": "Theoreme", "Not unlocked yet": "Noch nicht verfügbar", "Not available in this level": "In diesem Level nicht verfügbar", "A repository of learning games for the proof assistant <1>Lean (Lean 4) and its mathematical library <5>mathlib": "Eine Sammlung von Lernspielen für den Beweisassistenten <1>Lean (Lean 4) und dessen mathematische Bibliothek <5>mathlib", - "No Games loaded. Use <1>http://localhost:3000/#/g/local/FOLDER to open a game directly from a local folder.": "Kein Spiel geladen. öffne <1>http://localhost:3000/#/g/local/FOLDER um ein Spiel direkt von einem lokalen Ordner zu laden.", - "

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!": "", - "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.": "", + "No Games loaded. Use <1>http://localhost:3000/#/g/local/FOLDER to open a game directly from a local folder.": "Kein Spiel geladen. Öffne <1>http://localhost:3000/#/g/local/FOLDER um ein Spiel direkt aus einem lokalen Ordner zu laden.", "Prerequisites": "Voraussetzungen", "Worlds": "Welten", - "Levels": "Levels", - "Language": "Sprachen", - "Development notes": "Entwicklungshinweis", + "Levels": "Level", + "Language": "Sprache", + "Development notes": "Entwicklungsstand", "Adding new games": "Neue Spiele hinzufügen", "Funding": "Finanzierung", "

Do you want to delete your saved progress irreversibly?

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

": "

Soll der Spielstand unwiderruflich gelöscht werden?

(Dies löscht sämtliche Beweise und das gesammelte Inventar. Spielstände anderer Spiele werden nicht gelöscht.)

", "Delete Progress?": "Spielstand löschen?", "Delete": "Löschen", - "Download & Delete": "Herunterladen & Löschen", + "Download & Delete": "Herunterladen & löschen", "Cancel": "Abbrechen", "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 dem Spielstand um diesen zu laden.

<1><0>Achtung: Diese Aktion überschreibt den aktuellen Spielstand! Es wird empfohlen zuerst den <2>aktuellen Spielstand herunterzuladen!", + "

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", "Auto": "Auto", "Desktop": "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.

": "", - "Level": "", - "Introduction": "", - "Retry proof from here": "", - "Retry": "", - "Failed command": "" + "<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>Für alle, die selbst Spiel entwickeln möchten, gibt es ein <1>GameSkeleton Github Repo als Vorlage und die Anleitung <3>How to Create a Game.<1>Die <1>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.

", + "Level": "Level", + "Introduction": "Prolog", + "Retry proof from here": "Ab hier neu ansetzen", + "Retry": "Noch einmal", + "Failed command": "Gescheiterter Befehl", + "

As this server runs lean on our university machines, it has a limited capacity. Our current estimate is about 70 simultaneous games.

": "Diese Server läuft auf universitäter Infrastruktur mit begrenzten Kapazitäten. Wir schätzen, dass die Belastungsgrenze bei rund 70 gleichzeitig laufenden Spielen besteht.", + "<0>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!": "Der Spieleserver und die alle Spiele befinden sich in fortlaufender Entwicklung. Wir bitten darum, Fehler und Ungereimtheiten als <1>GitHub Issue zu melden.", + "This server has been developed as part of the project <1>ADAM: Anticipating the Digital Age of Mathematics at Heinrich Heine University Düsseldorf.": "Die Lean-Spiele-Software und dieser Spiele-Server werden als Teils der Projekts <1>ADAM: Anticipating the Digital Age of Mathematics an der Heinrich-Heine-Universität Düsseldorf entwickelt.", + "Server capacity": "Server-Auslastung", + "RAM": "RAM", + " used": "", + "CPU": "CPU" } diff --git a/client/public/locales/en/translation.json b/client/public/locales/en/translation.json index dc46d98..dfc34c7 100644 --- a/client/public/locales/en/translation.json +++ b/client/public/locales/en/translation.json @@ -62,8 +62,6 @@ "Not available in this level": "Not available in this level", "A repository of learning games for the proof assistant <1>Lean (Lean 4) and its mathematical library <5>mathlib": "A repository of learning games for the proof assistant <1>Lean (Lean 4) and its mathematical library <5>mathlib", "No Games loaded. Use <1>http://localhost:3000/#/g/local/FOLDER to open a game directly from a local folder.": "No Games loaded. Use <1>http://localhost:3000/#/g/local/FOLDER to open a game directly from a 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!": "

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!", - "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.": "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.", "Prerequisites": "Prerequisites", "Worlds": "Worlds", "Levels": "Levels", @@ -71,7 +69,6 @@ "Server capacity": "Server capacity", "RAM": "RAM", "CPU": "CPU", - "used": "used", "Development notes": "Development notes", "Adding new games": "Adding new games", "Funding": "Funding", @@ -94,5 +91,9 @@ "Introduction": "Introduction", "Retry proof from here": "Retry proof from here", "Retry": "Retry", - "Failed command": "Failed command" + "Failed command": "Failed command", + "

As this server runs lean on our university machines, it has a limited capacity. Our current estimate is about 70 simultaneous games.

": "

As this server runs lean on our university machines, it has a limited capacity. Our current estimate is about 70 simultaneous games.

", + "<0>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!": "<0>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!", + "This server has been developed as part of the project <1>ADAM: Anticipating the Digital Age of Mathematics at Heinrich Heine University Düsseldorf.": "This server has been developed as part of the project <1>ADAM: Anticipating the Digital Age of Mathematics at Heinrich Heine University Düsseldorf.", + " used": " used" } diff --git a/client/public/locales/es/translation.json b/client/public/locales/es/translation.json index af7354d..2200246 100644 --- a/client/public/locales/es/translation.json +++ b/client/public/locales/es/translation.json @@ -1,4 +1,4 @@ - { +{ "Intro": "Introducción", "Game Introduction": "Introducción del juego", "World selection": "Seleccionar mundo", @@ -44,7 +44,7 @@ "Retry proof from here": "Reintentar la prueba desde aquí", "Retry": "Reintentar", "Active Goal": "Objetivo activo", - "Crashed! Go to editor mode and fix your proof! Last server response:": "¡Error! Vaya al modo editor y corrija su prueba. Última respuesta del servidor:", + "Crashed! Go to editor mode and fix your proof! Last server response:": "¡Error! Vaya al modo editor y corrija su prueba. Última respuesta del servidor:", "Line": "Línea", "Character": "Carácter", "Loading messages…": "Cargando mensajes…", @@ -56,9 +56,7 @@ "Not available in this level": "No disponible en este nivel", "A repository of learning games for the proof assistant <1>Lean (Lean 4) and its mathematical library <5>mathlib": "Un repositorio de juegos para aprender el asistente de demostración <1>Lean, (Lean 4) y su biblioteca matemática <5>mathlib ", "No Games loaded. Use <1>http://localhost:3000/#/g/local/FOLDER to open a game directly from a local folder.": "No se ha cargado ningún juego. Use <1>http://localhost:3000/#/g/local/FOLDER para abrir un juego directamente desde una carpeta local", - "

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

Como este servidor corre en máquinas de nuestra universidad, tiene una capacidad limitada. Nuestra estimación actual es de unos 70 juegos simultaneos. Esperamos afrontar y comprobar mejor esta limitación en el futuro.

. <1>Muchos aspectos de los juegos y la infrastructura están aún en desarrollo. No dude en abrir una <1>GitHub Issue sobre cualquier problema que experimente.", "<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>Si está considerando escribir su propio juego, use el <1>GameSkeleton Github Repo como plantilla y lea <3>How to Create a Game.<1>Puede cargar directamente los juegos en el servidor y jugarlo usando la URL adecuada. Las <1>instrucciones anteriores también explican los detalles sobre cómo cargar su juego en el servidor. Le animamos a ponerse en contacto con nosotros si tiene preguntas.

Los juegos incluidos en esta página son añadidos manualmente. Por favor, contactenos y añadiremos el suyo encantados.

", - "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.": "Este servidor se ha desarrollado como parte del proyecto <1>ADAM : Anticipating the Digital Age of Mathematics en la Heinrich-Heine-Universität de Düsseldorf.", "Prerequisites": "Requisitos previos", "Worlds": "Mundos", "Levels": "Niveles", @@ -69,7 +67,7 @@ "Funding": "Financiación", "Level": "Nivel", "Introduction": "Introducción", - "

Do you want to delete your saved progress irreversibly?

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

" : "

¿Desea eliminar su progreso guardado definitivamente?

(Esto elimina sus pruebas y su inventario recopilado. Los progresos guardados de otros juegos no se eliminan.)

", + "

Do you want to delete your saved progress irreversibly?

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

": "

¿Desea eliminar su progreso guardado definitivamente?

(Esto elimina sus pruebas y su inventario recopilado. Los progresos guardados de otros juegos no se eliminan.)

", "Delete Progress?": "¿Borrar Progreso?", "Delete": "Borrar", "Download & Delete": "Descargar y Borrar", @@ -90,5 +88,12 @@ "

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

Seleccione un archivo JSON con el progreso del juego guardado para cargar su progreso.

<1><0>Advertencia: Esto borrará su progreso actual en el juego. Considere <2>descargar su progreso actual antes", "Upload Saved Progress": "Subir progreso guardado", "Load selected file": "Cargar archivo seleccionado", - "Rules": "Reglas" + "Rules": "Reglas", + "

As this server runs lean on our university machines, it has a limited capacity. Our current estimate is about 70 simultaneous games.

": "

Como este servidor corre en máquinas de nuestra universidad, tiene una capacidad limitada. Nuestra estimación actual es de unos 70 juegos simultaneos.

.", + "<0>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!": "<1>Muchos aspectos de los juegos y la infrastructura están aún en desarrollo. No dude en abrir una <1>GitHub Issue sobre cualquier problema que experimente.", + "This server has been developed as part of the project <1>ADAM: Anticipating the Digital Age of Mathematics at Heinrich Heine University Düsseldorf.": "Este servidor se ha desarrollado como parte del proyecto <1>ADAM: Anticipating the Digital Age of Mathematics en la Heinrich-Heine-Universität de Düsseldorf.", + "Server capacity": "", + "RAM": "", + " used": "", + "CPU": "" } diff --git a/client/public/locales/ko/target/translation.json b/client/public/locales/ko/target/translation.json index 1906850..d3b91fe 100644 --- a/client/public/locales/ko/target/translation.json +++ b/client/public/locales/ko/target/translation.json @@ -1,7 +1,7 @@ { "Tactics": "전략", "Lean Game Server": "린 게임 서버", - "

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": "전략", @@ -60,10 +60,8 @@ "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 4)<\/1> 증명 보조기와 그 수학 라이브러리 <5>매스리브(mathlib)<\/5>를 학습하기 위한 게임들의 저장소", - "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<\/1>를 이용해 지역[로컬] 폴더에서 게임을 직접 여십시오.", - "

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게임을 동시에 실행할 수 있는 것으로 추정됩니다. 미래에 저희가 서버 이용량 한계에 더 잘 대처하고 그 값을 보다 정확히 측정할 수 있기를 바랍니다.<\/p><1>게임과 그 기반 시설의 상당 부분은 여전히 개발 중입니다. 문제를 겪으면 거리낌 없이 <1>깃허브 이슈<\/1>를 제출해 주세요!<\/1>", - "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): 수학의 디지털 시대 준비하기'<\/1> 프로젝트의 일환으로 개발됐습니다.", + "A repository of learning games for the proof assistant <1>Lean (Lean 4) and its mathematical library <5>mathlib": "<1>린(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를 이용해 지역[로컬] 폴더에서 게임을 직접 여십시오.", "Prerequisites": "선행 요건", "Worlds": "세계", "Levels": "단계", @@ -71,11 +69,10 @@ "Server capacity": "서버 이용량", "RAM": "램", "CPU": "CPU", - "used": "쓰임", "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.)

": "

저장된 진도를 불가역적으로 삭제하시겠습니까?<\/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": "내려받고 삭제하기", @@ -83,16 +80,20 @@ "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": "모바일", "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 깃허브 저장소<\/1>를 양식[템플릿]으로 이용하고 <3>'게임 만들기(Creating a Game)'<\/3> 문서를 읽으십시오.<\/0><1>여러분이 작성한 게임을 직접 서버에서 불러오고, 정확한 URL을 이용해 그 게임을 하실 수 있습니다. 여러분의 게임을 서버에서 불러오는 방법에 관한 세부 사항도 위의 <1>설명서<\/1>에 나와 있습니다. 궁금한 점이 있으면 저희에게 연락해 주십시오.<\/1>

이 페이지에 실린 게임들은 수동으로 추가됐습니다. 저희에게 연락하시면 여러분의 게임을 기꺼이 추가하겠습니다.", + "<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 깃허브 저장소를 양식[템플릿]으로 이용하고 <3>'게임 만들기(Creating a Game)' 문서를 읽으십시오.<1>여러분이 작성한 게임을 직접 서버에서 불러오고, 정확한 URL을 이용해 그 게임을 하실 수 있습니다. 여러분의 게임을 서버에서 불러오는 방법에 관한 세부 사항도 위의 <1>설명서에 나와 있습니다. 궁금한 점이 있으면 저희에게 연락해 주십시오.

이 페이지에 실린 게임들은 수동으로 추가됐습니다. 저희에게 연락하시면 여러분의 게임을 기꺼이 추가하겠습니다.", "Level": "단계", "Introduction": "소개", "Retry proof from here": "여기부터 증명 다시 시도하기", "Retry": "다시 시도하기", - "Failed command": "실패한 명령" + "Failed command": "실패한 명령", + "

As this server runs lean on our university machines, it has a limited capacity. Our current estimate is about 70 simultaneous games.

": "", + "<0>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!": "", + "This server has been developed as part of the project <1>ADAM: Anticipating the Digital Age of Mathematics at Heinrich Heine University Düsseldorf.": "", + " used": "" } diff --git a/client/public/locales/zh/translation.json b/client/public/locales/zh/translation.json index 6dae6b3..71cabdd 100644 --- a/client/public/locales/zh/translation.json +++ b/client/public/locales/zh/translation.json @@ -63,10 +63,7 @@ "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 上提交问题反馈。", "<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 Repo 作为模板，并参阅 <3>如何创建游戏。<1>你可以直接将游戏上传至服务器，并通过正确的 URL 进行游戏。上面的 <1>说明 已详细介绍了如何将游戏加载到服务器的步骤。如果你有任何疑问，请随时联系我们。

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

", - - "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.": "此服务器是 Heinrich-Heine-Universität Düsseldorf 项目 <1>ADAM：预见数学的数字时代 的一部分。", "Prerequisites": "前置条件", "Worlds": "世界", "Levels": "关卡", @@ -91,5 +88,12 @@ "Level": "关卡", "Introduction": "介绍", "Retry": "重试", - "Failed command": "命令失败" + "Failed command": "命令失败", + "

As this server runs lean on our university machines, it has a limited capacity. Our current estimate is about 70 simultaneous games.

": "", + "<0>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!": "", + "This server has been developed as part of the project <1>ADAM: Anticipating the Digital Age of Mathematics at Heinrich Heine University Düsseldorf.": "", + "Server capacity": "", + "RAM": "", + " used": "", + "CPU": "" } diff --git a/client/src/components/landing_page.tsx b/client/src/components/landing_page.tsx index ac612dd..e8cb440 100644 --- a/client/src/components/landing_page.tsx +++ b/client/src/components/landing_page.tsx @@ -186,9 +186,15 @@ function LandingPage() {

{t("Server capacity")}

+ +

+ As this server runs lean on our university machines, it has a limited capacity. + Our current estimate is about 70 simultaneous games. +

+

- { usageMem >= 0 && <> {t("RAM")}: {usageMem} % {t("used")}.
} - { usageCPU >= 0 && <> {t("CPU")}: {usageCPU} % {t("used")}. } + { usageMem >= 0 && <> {t("RAM")}: {usageMem} %{t(" used")}.
} + { usageCPU >= 0 && <> {t("CPU")}: {usageCPU} %{t(" used")}. }

@@ -197,11 +203,6 @@ function LandingPage() {

{t("Development notes")}

-

- 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. -

Most aspects of the games and the infrastructure are still in development. Feel free to file a GitHub Issue about @@ -239,8 +240,8 @@ function LandingPage() {

This server has been developed as part of the - project ADAM : Anticipating the Digital Age of Mathematics at - Heinrich-Heine-Universität in Düsseldorf. + project ADAM: Anticipating the Digital Age of Mathematics at + Heinrich Heine University Düsseldorf.