Data

Tools

Indexes

Applications

Experiments

Repos

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

Package Usage: actions: Julian/setup-lean

View more package details: https://packages.ecosystem.code.gouv.fr/registries/github%20actions/packages/Julian/setup-lean

Dependent Repos 1

Deducteam/lean2dk
WIP translation from Lean to Dedukti

Size: 162 KB - Last synced: 5 days ago - Pushed: 11 days ago