Dependencies · acmepjz/md4lean · GitHub

Dependency graph

2 Total

actions/checkout 4.*.*

GitHub Actions · .github/workflows/ci.yml · Detected automatically on Nov 17, 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
leanprover/lean-action 1.*.*

GitHub Actions · .github/workflows/ci.yml · Detected automatically on Nov 17, 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

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