Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / cpitclaudel / 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/cpitclaudel%2Fhydra-battles
Fork of coq-community/hydra-battles
Stars: 0
Forks: 0
Open Issues: 0
License: mit
Language: Coq
Repo Size: 7.8 MB
Dependencies: pending
Created: almost 3 years ago
Updated: over 2 years ago
Last pushed: over 2 years ago
Last synced: 15 days ago
Files
Loading...
Readme
Loading...