Ecosyste.ms: Repos

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

GitHub / mattam82 / Coq-Equations

A function definition package for Coq

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mattam82%2FCoq-Equations

Stars: 208
Forks: 42
Open Issues: 67

License: lgpl-2.1
Language: Coq
Repo Size: 58.5 MB
Dependencies: 3

Created: over 14 years ago
Updated: about 2 months ago
Last pushed: 2 months ago
Last synced: 2 months ago

Commit Stats

Commits: 1450
Authors: 29
Mean commits per author: 50.0
Development Distribution Score: 0.298
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/mattam82/Coq-Equations

Topics: coq, dependent-types, programming-language

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/build.yml actions
    Gemfile rubygems