arthuraa / derivingLinks

Class instances for Coq inductive types with little boilerplate
24Updated last month

Alternatives and similar repositories for deriving

Users that are interested in deriving are comparing it to the libraries listed below

Sorting: