build/
lake-packages/
.lake/
**/.DS_Store
.i18n/**/*.mo
*~

# Nix flake build artifacts
.lean4game-nix/