Dependencies · leanprover/TensorLib · GitHub

Dependency graph

6 Total

actions/checkout 4.*.*

GitHub Actions · .github/workflows/ci.yml · Detected automatically on Feb 27, 2025
Paths for actions/checkout 4.*.*
Paths for actions/checkout 4.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/setup-python 5.*.*

GitHub Actions · .github/workflows/ci.yml · Detected automatically on Feb 27, 2025
Paths for actions/setup-python 5.*.*
Paths for actions/setup-python 5.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
leanprover/lean-action 1.*.*

GitHub Actions · .github/workflows/ci.yml · Detected automatically on Feb 27, 2025
Paths for leanprover/lean-action 1.*.*
Paths for leanprover/lean-action 1.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
hypothesis

pip · requirements.txt · Detected automatically on Nov 15, 2024
Paths for hypothesis
Paths for hypothesis
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
numpy

pip · requirements.txt · Detected automatically on Nov 15, 2024
Paths for numpy
Paths for numpy
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
pytest

pip · requirements.txt · Detected automatically on Nov 15, 2024
Paths for pytest
Paths for pytest
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive

ProTip! Supported ecosystems will have transitivity labels on their packages.