Ecosyste.ms: Repos

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

GitHub / coq-community / aac-tactics

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

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

Stars: 29
Forks: 21
Open Issues: 3

License: other
Language: OCaml
Repo Size: 683 KB
Dependencies: 8

Created: about 8 years ago
Updated: about 5 hours ago
Last pushed: about 5 hours ago
Last synced: about 1 hour ago

Topics: coq, coq-ci, coq-platform, coq-plugin, coq-tactic, docker-coq-action, nix-action

Files

Readme

Dependencies

.github/workflows/deploy-docs.yml actions

actions/checkout v2 composite
coq-community/docker-coq-action v1 composite
crazy-max/ghaction-github-pages v2 composite

.github/workflows/docker-action.yml actions

actions/checkout v2 composite
coq-community/docker-coq-action v1 composite

.github/workflows/nix-action.yml actions

actions/checkout v2 composite
cachix/cachix-action v10 composite
cachix/install-nix-action v16 composite

meta.yml cpan