Awesome Lists
Top Projects
Most Links
Search
About
Add Project
deriving
Class instances for Coq inductive types with little boilerplate
GitHub
24
stars
3
watching
9
forks
Language:
Coq
last commit:
6 months ago