issues
search
arthuraa
/
deriving
Class instances for Coq inductive types with little boilerplate
MIT License
24
stars
9
forks
source link
Add Coq 8.14 to CI.
#17
Closed
arthuraa
closed
2 years ago