GitHub repository: tchajed/coq-classes
Primary language: Coq
Description: A library of typeclasses for Coq