Coq Serapi | Node Deprecate | |
---|---|---|
Stars | 119 | 11 |
Downloads | ||
Dependent Packages | 139 | |
Dependent Repos | 4,161 | |
Most Recent Commit | 3 months ago | 5 years ago |
Total Releases | 4 | |
Latest Release | July 25, 2019 | |
Open Issues | 17 | 4 |
License | other | |
Programming Language | OCaml | JavaScript |