Ecosyste.ms: Repos

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

GitHub / coq-community / hydra-battles

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

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

Stars: 60
Forks: 12
Open Issues: 12

License: mit
Language: Coq
Repo Size: 20.9 MB
Dependencies: 9

Created: over 3 years ago
Updated: about 1 month ago
Last pushed: 3 months ago
Last synced: 25 days ago

Topics: coq, coq-nix-toolbox, discrete-mathematics, docker-coq-action, formal-proofs, hydra-battles, ordinal-notations, primitive-recursive-functions

Files
    Loading...
    Readme
    Loading...
    Dependencies
    doc/movies/requirements.txt pypi
    meta.yml cpan
    .github/workflows/docker-action.yml actions
    .github/workflows/nix-action-default.yml actions