Class instances for Coq inductive types with little boilerplate
Primary LanguageCoqMIT LicenseMIT
No issues in this repository yet.