-
Notifications
You must be signed in to change notification settings - Fork 130
Insights: google-deepmind/formal-conjectures
Dependency graph
11 Total
- GitHub Actions · .github/workflows/build-and-docs.yml · Detected automatically on Jul 09, 2025actions/cache 4.*.*
- GitHub Actions · .github/workflows/build-and-docs.yml · Detected automatically on Jul 09, 2025actions/cache/restore 3.*.*
- GitHub Actions · .github/workflows/build-and-docs.yml · Detected automatically on Jul 09, 2025actions/cache/save 3.*.*
- GitHub Actions · .github/workflows/build-and-docs.yml · Detected automatically on Jul 09, 2025actions/checkout 4.*.*
- GitHub Actions · .github/workflows/build-and-docs.yml · Detected automatically on Jul 09, 2025actions/deploy-pages 4.*.*
- GitHub Actions · .github/workflows/build-and-docs.yml · Detected automatically on Jul 09, 2025actions/setup-python 5.*.*
-
GitHub Actions
·
.github/workflows/build-and-docs.yml
·
Detected automatically on Jul 09, 2025
- GitHub Actions · .github/workflows/check_copyright_header.yml · Detected automatically on May 29, 2025actions/checkout 4.*.*
- GitHub Actions · .github/workflows/check_copyright_header.yml · Detected automatically on May 29, 2025actions/github-script 7.*.*
-
GitHub Actions
·
.github/workflows/update_erdosproblems.yml
·
Detected automatically on Sep 05, 2025
- GitHub Actions · .github/workflows/lean-release-tag.yml · Detected automatically on Oct 20, 2025leanprover-community/lean-release-tag 92561973391c1d265d18c6d5dfc424079cf5dd13
ProTip!
Supported ecosystems will have transitivity labels on their packages.