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!", - "<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>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.
", "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", diff --git a/client/public/locales/zh/translation.json b/client/public/locales/zh/translation.json new file mode 100644 index 0000000..b6f6179 --- /dev/null +++ b/client/public/locales/zh/translation.json @@ -0,0 +1,93 @@ +{ + "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:
": "游戏规则决定是否允许跳过关卡，以及游戏是否允许在证明中使用未解锁的策略和定理。
<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": "Objects", + "Assumptions": "假设", + "Further Goals": "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 🎭": "关卡完成（带有警告） 🎭", + "Retry proof from here": "从这里重新试着证明", + "Active Goal": "当前目标", + "Crashed! Go to editor mode and fix your proof! Last server response:": "程序崩溃！请转到编辑器模式，修复您的证明！最后一次服务器响应：", + "Line": "行", + "Character": "字符", + "Loading messages…": "正在加载信息。。。", + "Execute": "执行", + "Definitions": "定义", + "Theorems": "定理", + "locked": "锁定中", + "disabled": "已禁用", + "new": "新建", + "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": "", + "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!": "", + "<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.
": "", + "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": "前置条件", + "Worlds": "世界(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": "桌面端" +} diff --git a/client/src/config.json b/client/src/config.json index 69e1479..2ff6f2c 100644 --- a/client/src/config.json +++ b/client/src/config.json @@ -21,7 +21,7 @@ { "iso": "zh", "flag": "CN", - "name": "中国话" + "name": "中文" } ] }