Forked from
David Hamelin / jscoq-light
12 commits behind the upstream repository.
David Hamelin
authored
Name | Last commit | Last update |
---|---|---|
.. | ||
_scripts | ||
equations | ||
teach | ||
.gitignore | ||
.gitmodules | ||
Makefile | ||
README.md | ||
dune | ||
dune-project | ||
dune-workspace | ||
dune-workspace.64 | ||
dune-workspace.wacoq |