Greg Shuflin ac9a60d137 Add Nix flake for local development without Docker/VSCode ...

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>

2025-11-11 02:07:34 -08:00

2.0 KiB

Raw Permalink Blame History

View Raw