GitHub / tchajed / coq-arrows-theorem
Proof of Arrow's Impossibility Theorem
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tchajed%2Fcoq-arrows-theorem
PURL: pkg:github/tchajed/coq-arrows-theorem
Stars: 1
Forks: 0
Open issues: 1
License: None
Language: Coq
Size: 17.6 KB
Dependencies parsed at: Pending
Created at: over 1 year ago
Updated at: 11 months ago
Pushed at: over 1 year ago
Last synced at: 3 months ago
Topics: coq, voting-system
Loading...