lean4-code-actions CDN files
- lean4-code-actions@1.1.32
| .github | |
| .idea | |
| .vscode | |
| img | |
| libs | |
| src | |
| .eslintrc.ci.cjs | 211 B |
| .eslintrc.cjs | 3.69 KB |
| .gitmodules | 358 B |
| .markdownlint.json | 76 B |
| .vscodeignore | 179 B |
| jest.config.mjs | 738 B |
| jest.setup.js | 171 B |
| jest.setupAfterEnv.js | 523 B |
| lefthook.yml | 360 B |
| LICENSE | 1.04 KB |
| package.json | 6.42 KB |
| post-push.local.sh | 152 B |
| README.md | 8.09 KB |
| test.local.sh | 28 B |
| test.watch.local.sh | 34 B |
| TODO.md | 51 B |
| tsconfig.json | 378 B |
| typecheck.local.sh | 41 B |
Free Open Source CDN for lean4-code-actions
Looking for a nice landing page for your package? https://www.jsdelivr.com/package/npm/lean4-code-actions