Ecosyste.ms: Repos

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

GitHub / coq-community / autosubst

Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/coq-community%2Fautosubst

Stars: 48
Forks: 12
Open Issues: 5

License: mit
Language: Coq
Repo Size: 892 KB
Dependencies: 2

Created: almost 9 years ago
Updated: about 2 months ago
Last pushed: 8 months ago
Last synced: about 1 month ago

Topics: coq, coq-ci, debruijn-indices, mathcomp, ssreflect, variable-binding

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/docker-action.yml actions