{
  "Tactics": "Tactics",
  "Lean Game Server": "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>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>",
  "Game Rules": "Game Rules",
  "levels": "levels",
  "tactics": "tactics",
  "regular": "regular",
  "relaxed": "relaxed",
  "none": "none",
  "Rules": "Rules",
  "Intro": "Intro",
  "Game Introduction": "Game Introduction",
  "World selection": "World selection",
  "Start": "Start",
  "Inventory": "Inventory",
  "next level": "next level",
  "Next": "Next",
  "back to world selection": "back to world selection",
  "Leave World": "Leave World",
  "previous level": "previous level",
  "Previous": "Previous",
  "Editor mode is enforced!": "Editor mode is enforced!",
  "Editor mode": "Editor mode",
  "Typewriter mode": "Typewriter mode",
  "information, Impressum, privacy policy": "information, Impressum, privacy policy",
  "Impressum": "Impressum",
  "Preferences": "Preferences",
  "Game Info & Credits": "Game Info & Credits",
  "Game Info": "Game Info",
  "Clear Progress": "Clear Progress",
  "Erase": "Erase",
  "Download Progress": "Download Progress",
  "Download": "Download",
  "Load Progress from JSON": "Load Progress from JSON",
  "Upload": "Upload",
  "Home": "Home",
  "back to games selection": "back to games selection",
  "close inventory": "close inventory",
  "show inventory": "show inventory",
  "World": "World"
}