/Coq-Type-Classes

A library of coq type classes and instances.

Primary LanguageCoq

Stargazers