Provides flake.nix with nix run, nix develop, and nix build commands.
Automatically sets up lean4game platform and starts game server at
http://localhost:3000. See FLAKE_USAGE.md for complete documentation.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
Co-Authored-By: Claude <noreply@anthropic.com>
* begin translation
* continue
* Progress
* begin translating Addition world
* Progress
* Copy original to untranslated and mark as fuzzy
* most of Power World
* start translating Implication World
* continue Implication World
* continue Implication World
* translate Algorithm World
* translate Advanced Addition World
* start Inequality World
* continue Inequality World
* substitute with js script
* translate Inequality World
* traslate Advanced Multiplication World
* last few messages
* a few corrections
* credits
* add generated json
* clean up Tutorial World
* Update .i18n/it/Game.json
Co-authored-by: Riccardo Brasca <riccardo.brasca@gmail.com>
* Update .i18n/it/Game.json
Co-authored-by: Riccardo Brasca <riccardo.brasca@gmail.com>
* Update .i18n/it/Game.json
Co-authored-by: Riccardo Brasca <riccardo.brasca@gmail.com>
* Update .i18n/it/Game.json
Co-authored-by: Riccardo Brasca <riccardo.brasca@gmail.com>
* Update .i18n/it/Game.json
Co-authored-by: Riccardo Brasca <riccardo.brasca@gmail.com>
* reflect corrections in Game.po
* review Addition World
* review Multiplication World
* review Implication World
* review Power World
* go over Advanced Addition and >= worlds
* review Algorithm World, intro
* nitpicking
---------
Co-authored-by: Riccardo Brasca <riccardo.brasca@gmail.com>
The explainer mistakenly swapped an n for an m, possibly causing
confusion with the explainer mentioning a different hypothesis than the one
resulting from the tactic, and one from which alone one cannot derive
the new goal.
