Class instances for Coq inductive types with little boilerplate
Primary LanguageCoqMIT LicenseMIT
No one’s star this repository yet.