|
|
|
|
@ -0,0 +1,93 @@
|
|
|
|
|
{
|
|
|
|
|
"Tactics": "策略",
|
|
|
|
|
"Lean Game Server": "",
|
|
|
|
|
"<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.</p><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</1> in a level, you can use it henceforth in any level.</1><p>The options are:</p>": "<p>游戏规则决定是否允许跳过关卡，以及游戏是否允许在证明中使用未解锁的策略和定理。<p><1>注意：“解锁”的策略（或定理）由两个因素决定：解决关卡所需的最小策略集合，加上你在另一个关卡中解锁的任何策略。这意味着，如果你在某个关卡中解锁了<1>simp</1>，那么你可以在任何关卡中使用它。</1><p>选项是：</p>",
|
|
|
|
|
"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</1> <i>(Lean 4)</i> and its mathematical library <5>mathlib</5>": "",
|
|
|
|
|
"No Games loaded. Use <1>http://localhost:3000/#/g/local/FOLDER</1> to open a game directly from a local folder.": "没有加载游戏。使用<1>http://localhost:3000/#/g/local/FOLDER</1>直接从本地文件夹打开游戏。",
|
|
|
|
|
"<p>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.</p><1>Most aspects of the games and the infrastructure are still in development. Feel free to file a <1>GitHub Issue</1> about any problems you experience!</1>": "",
|
|
|
|
|
"<0>If you are considering writing your own game, you should use the <1>GameSkeleton Github Repo</1> as a template and read <3>How to Create a Game</3>.</0><1>You can directly load your games into the server and play it using the correct URL. The <1>instructions above</1> 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.</1><p>Featured games on this page are added manually. Please get in contact and we'll happily add yours.</p>": "",
|
|
|
|
|
"This server has been developed as part of the project <1>ADAM : Anticipating the Digital Age of Mathematics</1> at Heinrich-Heine-Universität in Düsseldorf.": "",
|
|
|
|
|
"Prerequisites": "前置条件",
|
|
|
|
|
"Worlds": "世界(Worlds)",
|
|
|
|
|
"Levels": "关卡",
|
|
|
|
|
"Language": "语言",
|
|
|
|
|
"Development notes": "",
|
|
|
|
|
"Adding new games": "",
|
|
|
|
|
"Funding": "",
|
|
|
|
|
"<p>Do you want to delete your saved progress irreversibly?</p><p>(This deletes your proofs and your collected inventory. Saves from other games are not deleted.)</p>": "<p>您是否想要不可逆转地删除您的游戏进度？</p><p>（这将删除您的证明和您收集的定理和策略。其他游戏的进度不会被删除。）</p>",
|
|
|
|
|
"Delete Progress?": "删除进度？",
|
|
|
|
|
"Delete": "删除",
|
|
|
|
|
"Download & Delete": "下载和删除",
|
|
|
|
|
"Cancel": "取消",
|
|
|
|
|
"Layout": "布局",
|
|
|
|
|
"Always visible": "始终可见",
|
|
|
|
|
"Save my settings (in the browser store)": "",
|
|
|
|
|
"<p>Select a JSON file with the saved game progress to load your progress.</p><1><0>Warning:</0> This will delete your current game progress! Consider <2>downloading your current progress</2> first!</1>": "<p>选择一个包含已保存游戏进度的JSON文件来加载您的进度。</p><1><0>警告：</0>这将删除您当前的游戏进度！首先考虑<2>下载您当前的进度</2>！</1>",
|
|
|
|
|
"Upload Saved Progress": "上传保存的进度",
|
|
|
|
|
"Load selected file": "加载所选文件",
|
|
|
|
|
"Mobile": "移动端",
|
|
|
|
|
"Auto": "自动",
|
|
|
|
|
"Desktop": "桌面端"
|
|
|
|
|
}
|
Jon Eugster
11 months ago