-
Notifications
You must be signed in to change notification settings - Fork 1
Insights: utensil/lean4_jupyter
Dependency graph
1,026 Total
- GitHub Actions · .github/workflows/ci.yml · Detected automatically on Jun 03, 2024actions/checkout 4.*.*
- GitHub Actions · .github/workflows/ci.yml · Detected automatically on Jun 03, 2024actions/setup-python 5.*.*
- GitHub Actions · .github/workflows/ci.yml · Detected automatically on Jun 03, 2024pypa/gh-action-pypi-publish release/v1
- npm · ext/package.json · Detected automatically on Nov 14, 2024@jupyterlab/application ^ 4.0.0
- npm · ext/package.json · Detected automatically on Nov 14, 2024@jupyterlab/builder ^ 4.0.0
- npm · ext/package.json · Detected automatically on Nov 14, 2024@jupyterlab/testutils ^ 4.0.0
- npm · ext/package.json · Detected automatically on Nov 14, 2024@types/jest ^ 29.2.0
- npm · ext/package.json · Detected automatically on Nov 14, 2024@types/json-schema ^ 7.0.11
- npm · ext/package.json · Detected automatically on Nov 14, 2024@types/react ^ 18.0.26
- npm · ext/package.json · Detected automatically on Nov 14, 2024@types/react-addons-linked-state-mixin ^ 0.14.22
- npm · ext/package.json · Detected automatically on Nov 14, 2024@typescript-eslint/eslint-plugin ^ 6.1.0
- npm · ext/package.json · Detected automatically on Nov 14, 2024@typescript-eslint/parser ^ 6.1.0
- npm · ext/package.json · Detected automatically on Nov 14, 2024codemirror ^ 6.0.1
- npm · ext/package.json · Detected automatically on Nov 14, 2024css-loader ^ 6.7.1
- npm · ext/package.json · Detected automatically on Nov 14, 2024eslint ^ 8.36.0
- npm · ext/package.json · Detected automatically on Nov 14, 2024eslint-config-prettier ^ 8.8.0
- npm · ext/package.json · Detected automatically on Nov 14, 2024eslint-plugin-prettier ^ 5.0.0
- npm · ext/package.json · Detected automatically on Nov 14, 2024jest ^ 29.2.0
- npm · ext/package.json · Detected automatically on Nov 14, 2024npm-run-all ^ 4.1.5
- npm · ext/package.json · Detected automatically on Nov 14, 2024prettier ^ 3.0.0