GitHub repository: tchajed/cardinality
Primary language: Coq
Created: 2016-03-12T22:13:34Z
Description: Reasoning about finite type cardinality in Coq