Forked from
David Hamelin / jscoq-light
66 commits behind the upstream repository.
Emilio Jesus Gallego Arias
authored
This should cleanup the root directory a bit; I've placed the cli files inside `frontend`, but quite a few of these files should eventually move to backend, as it seems to me that they functionality that the "server" should provide, but we can do like this for now and move things to `backend` as we see fit.
Name | Last commit | Last update |
---|---|---|
.. | ||
coq-pkgs.json |