Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / thorimur / lean4

Lean 4 programming language and theorem prover

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/thorimur%2Flean4

Fork of leanprover/lean4
Stars: 0
Forks: 0
Open Issues: 0

License: apache-2.0
Language: Lean
Repo Size: 1.15 GB
Dependencies: 23

Created: over 1 year ago
Updated: 26 days ago
Last pushed: 27 days ago
Last synced: 26 days ago

Files

Loading...

Readme

Loading...

Dependencies

.github/workflows/changelog.yml actions

actions/checkout v3 composite

.github/workflows/ci.yml actions

actions/cache v3 composite
actions/checkout v3 composite
actions/download-artifact v3 composite
actions/upload-artifact v3 composite
cachix/install-nix-action v18 composite
msys2/setup-msys2 v2 composite
softprops/action-gh-release v1 composite

.github/workflows/nix-ci.yml actions

actions/cache v3 composite
actions/checkout v3 composite
cachix/cachix-action v12 composite
cachix/install-nix-action v18 composite
peaceiris/actions-gh-pages v3 composite

.github/workflows/pr.yml actions

actions/github-script v6 composite

.github/workflows/backport.yml actions

tibdex/backport v2 composite

.github/workflows/labels-from-comments.yml actions

actions/github-script v6 composite

.github/workflows/pr-release.yml actions

actions-ecosystem/action-add-labels v1 composite
actions/checkout v3 composite
actions/checkout v2 composite
dawidd6/action-download-artifact v2 composite
potiuk/get-workflow-origin v1_1 composite
softprops/action-gh-release v1 composite

.github/workflows/stale.yml actions

actions/stale v8 composite