jsCoq Addons Central
This is a meta-repo with references to jsCoq addon libraries as submodules.
These submodules contain "recipes" for downloadining, compiling and packaging
these libraries as jsCoq packages (.json and .coq-pkg files).
| Name | Last commit | Last update |
|---|---|---|
| _scripts | ||
| teach | ||
| .gitignore | ||
| .gitmodules | ||
| Makefile | ||
| README.md | ||
| dune | ||
| dune-project | ||
| dune-workspace | ||
| dune-workspace.64 | ||
| dune-workspace.wacoq |