Ecosyste.ms: Repos

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

GitHub / math-comp / Coq-Combi

Algebraic Combinatorics in Coq

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/math-comp%2FCoq-Combi

Stars: 34
Forks: 7
Open Issues: 2

License: gpl-3.0
Language: Coq
Repo Size: 10.6 MB
Dependencies: 15

Created: almost 10 years ago
Updated: 3 months ago
Last pushed: 4 months ago
Last synced: 25 days ago

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/nix-action-coq8.17-mc2.1.0.yml actions
    .github/workflows/nix-action-coq8.17-mc2.2.0.yml actions
    .github/workflows/nix-action-coq8.18-mc2.1.0.yml actions
    .github/workflows/nix-action-coq8.18-mc2.2.0.yml actions
    .github/workflows/nix-action-coq8.19-mc2.2.0.yml actions