Skip to content
Snippets Groups Projects
Forked from David Hamelin / jscoq-light
66 commits behind the upstream repository.
user avatar
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.
0c8e9bc3
History
Name Last commit Last update
..
coq-pkgs.json