Stars
16
Forks
1
Watchers
16
Open Issues
1
Overall repository health assessment
No package.json found
This might not be a Node.js project
37
commits
26
commits
9
commits
9
commits
3
commits
REF: replace `echo` CR with `printf` in `test/Makefile`
b905e5eView on GitHubUpdated to work with latest OCaml (4.11.1) and Coq (8.12.0).
bd9ef96View on GitHub