Published February 24, 2021
| Version 0.1.0
Software
Open
Deriving
Creators
Description
Deriving is a library for the Coq proof assistant for automating the generation of class instances for inductive data types. For more information, please consult https://github.com/arthuraa/deriving.
Files
deriving-0.1.0.zip
Files
(37.6 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:40f0530963950b85b8f21d532deba16b
|
37.6 kB | Preview Download |