Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / tchajed / coq-arrows-theorem
Proof of Arrow's Impossibility Theorem
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tchajed%2Fcoq-arrows-theorem
Stars: 0
Forks: 0
Open Issues: 0
License: None
Language: Coq
Repo Size: 17.6 KB
Dependencies:
2
Created: 5 months ago
Updated: 5 months ago
Last pushed: 5 months ago
Last synced: 5 months ago
Topics: coq, voting-system
Files
Loading...
Readme
Loading...
Dependencies
.github/workflows/build.yml
actions
- actions/checkout v4 composite
- coq-community/docker-coq-action v1 composite