Italian localization

client/public/locales/it/translation.json

@@ -0,0 +1,99 @@
+{
+  "Intro": "Introduzione",
+  "Game Introduction": "Introduzione al gioco",
+  "World selection": "Selezione del mondo",
+  "Start": "Via",
+  "Inventory": "Inventario",
+  "next level": "livello successivo",
+  "Next": "Avanti",
+  "back to world selection": "torna alla selezione del mondo",
+  "Leave World": "Abbandona mondo",
+  "previous level": "livello precedente",
+  "Previous": "Indietro",
+  "Editor mode is enforced!": "Non è possibile uscire dalla modalità editor!",
+  "Editor mode": "Modalità editor",
+  "Typewriter mode": "Modalità interattiva",
+  "information, Impressum, privacy policy": "informazioni, Impressum, politiche della privacy",
+  "Preferences": "Preferenze",
+  "Game Info & Credits": "Info sul gioco & Riconoscimenti",
+  "Game Info": "Info sul gioco",
+  "Clear Progress": "Elimina progresso",
+  "Erase": "Elimina",
+  "Download Progress": "Scarica progresso",
+  "Download": "Scarica",
+  "Load Progress from JSON": "Importa progresso da file JSON",
+  "Upload": "Importa",
+  "Home": "Home",
+  "back to games selection": "torna alla selezione dei giochi",
+  "close inventory": "chiudi inventario",
+  "show inventory": "mostra inventario",
+  "World": "Mondo",
+  "Show more help!": "Aiutami!",
+  "Goal": "Goal",
+  "Objects": "Oggetti",
+  "Assumptions": "Ipotesi",
+  "Current Goal": "Goal corrente",
+  "Further Goals": "Goal successivi",
+  "No Goals": "Nessun goal",
+  "Loading goal…": "Sto caricando il goal…",
+  "Click somewhere in the Lean file to enable the infoview.": "Clicca ovunque nel file Lean per attivare la infoview.",
+  "Waiting for Lean server to start…": "In attesa dell'avvio del server di Lean…",
+  "Level completed! 🎉": "Livello completato! 🎉",
+  "Level completed with warnings 🎭": "Livello completato, ma ci sono dei warning 🎭",
+  "Failed command": "Comando fallito",
+  "Retry proof from here": "Riprendi la dimostrazione da qui",
+  "Retry": "Ritenta",
+  "Active Goal": "Goal corrente",
+  "Crashed! Go to editor mode and fix your proof! Last server response:": "Server crashato! Rientra in modalità editor e aggiusta la tua dimostrazione. Ultimo messaggio del server:",
+  "Line": "Linea",
+  "Character": "Carattere",
+  "Loading messages…": "Sto caricando i messaggi…",
+  "Execute": "Esegui",
+  "Tactics": "Tattiche",
+  "Definitions": "Definizioni",
+  "Theorems": "Teoremi",
+  "Not unlocked yet": "Non ancora sbloccato",
+  "Not available in this level": "Non disponibile in questo livello",
+  "A repository of learning games for the proof assistant <1>Lean</1> <i>(Lean 4)</i> and its mathematical library <5>mathlib</5>": "Un repository di giochi didattici per il proof assistant <1>Lean</1> <i>(Lean 4)</i> e la sua libreria matematica <5>mathlib</5>",
+  "No Games loaded. Use <1>http://localhost:3000/#/g/local/FOLDER</1> to open a game directly from a local folder.": "Nessun gioco rilevato. Visita <1>http://localhost:3000/#/g/local/FOLDER</1> per aprire un gioco da una cartella locale.",
+  "<p>As this server runs lean on our university machines, it has a limited capacity. Our current estimate is about 70 simultaneous games.</p>": "<p>Il server che esegue il codice Lean gira sulle macchine della nostra università, perciò ha una capacità limitata. La nostra stima attuale è di circa 70 giochi simultanei.</p>",
+  "<0>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!</0>": "<0>Molti aspetti dei giochi e dell'infrastruttura sono ancora in fase di sviluppo. Segnalaci qualsiasi problema con una <1>Issue su GitHub</1>.</0>",
+  "<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>": "<0>Se stai pensando di creare un nuovo gioco, ti consigliamo di usare il <1>GameSkeleton disponibile su Github</1> come punto di partenza e di leggere la guida <3>How to Create a Game</3>.</0><1>Puoi caricare direttamente i tuoi giochi nella tua copia del server e testarli allo URL corretto. Le <1>istruzioni su GitHub</1> spiegano in dettaglio come caricare il tuo gioco sul server. Per qualsiasi altra domanda, ti invitiamo a contattarci. </1><p>I giochi in evidenza in questa pagina sono curati a mano da noi. Se vuoi vedere il tuo gioco, scrivici e lo aggiungeremo volentieri.</p>",
+  "This server has been developed as part of the project <1>ADAM: Anticipating the Digital Age of Mathematics</1> at Heinrich Heine University Düsseldorf.": "Questo server è stato sviluppato nell'ambito del progetto <1>ADAM: Anticipating the Digital Age of Mathematics</1> alla Heinrich Heine University Düsseldorf.",
+  "Prerequisites": "Prerequisiti",
+  "Worlds": "Mondi",
+  "Levels": "Livelli",
+  "Language": "Lingua",
+  "Lean Game Server": "Lean Game Server",
+  "Server capacity": "Capacità del Server",
+  "RAM": "RAM",
+  " used": " in uso",
+  "CPU": "CPU",
+  "Development notes": "Note di sviluppo",
+  "Adding new games": "Aggiungere nuovi giochi",
+  "Funding": "Fondi",
+  "Level": "Livello",
+  "<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>Vuoi eliminare irreversibilmente il tuo progresso?</p><p>(Questa operazione eliminerà il codice delle tue dimostrazioni e il tuo inventario. I dati di salvataggio appartenenti ad altri giochi non verranno eliminati.)</p>",
+  "Delete Progress?": "Reset del gioco",
+  "Delete": "Elimina",
+  "Download & Delete": "Scarica & Elimina",
+  "Cancel": "Annulla",
+  "Mobile": "Mobile",
+  "Auto": "Auto",
+  "Desktop": "Desktop",
+  "Layout": "Layout",
+  "Always visible": "Sempre visibile",
+  "Save my settings (in the browser store)": "Salva le mie opzioni (nella memoria del browser)",
+  "<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>Le regole del gioco determinano se si possono saltare i livelli e se si possono usare le tattiche e i teoremi non ancora sbloccati nelle dimostrazioni.</p><1>Nota: Le tattiche \"sbloccate\" per un dato livello sono l'insieme più piccolo di tattiche necessarie per risolvere il livello, più tutte le tattiche che hai sbloccato fino a quel punto nel gioco (lo stesso discorso vale per i teoremi). Ad esempio, se sblocchi la tattica <1>simp</1> in un livello, puoi usarla da lì in poi nel resto del gioco.</1><p>Le opzioni sono:</p>",
+  "Game Rules": "Regole del gioco",
+  "levels": "livelli",
+  "tactics": "tattiche",
+  "regular": "normali",
+  "relaxed": "relax",
+  "none": "nessuna",
+  "<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>Seleziona il file JSON con i dati di salvataggio da caricare.</p><1><0>Attenzione:</0> Questa operazione eliminerà il tuo progresso corrente! Considera di <2>scaricare il tuo progresso</2> prima!</1>",
+  "Upload Saved Progress": "Importa progresso salvato",
+  "Load selected file": "Carica file selezionato",
+  "Rules": "Regole",
+  "Introduction": ""
+}

client/src/config.json

@@ -31,6 +31,11 @@
       "iso": "ko",
       "flag": "KR",
       "name": "한국어"
+    },
+    {
+      "iso": "it",
+      "flag": "IT",
+      "name": "Italiano"
     }
   ]
 }