arthuraa / derivingLinks
Class instances for Coq inductive types with little boilerplate
☆25Updated 3 months ago
Alternatives and similar repositories for deriving
Users that are interested in deriving are comparing it to the libraries listed below
Sorting: