Showing
- backend/coq-worker.ts 1 addition, 1 deletionbackend/coq-worker.ts
- coqdoclight.py 630 additions, 0 deletionscoqdoclight.py
- coqdoclight_sample.v 75 additions, 0 deletionscoqdoclight_sample.v
- docs/build.md 12 additions, 3 deletionsdocs/build.md
- dune 3 additions, 1 deletiondune
- etc/docker/Dockerfile 2 additions, 2 deletionsetc/docker/Dockerfile
- etc/docker/Makefile 15 additions, 11 deletionsetc/docker/Makefile
- etc/patches/timeout.patch 1 addition, 1 deletionetc/patches/timeout.patch
- etc/wacoq-deps/package.json 17 additions, 0 deletionsetc/wacoq-deps/package.json
- examples/Makefile 1 addition, 1 deletionexamples/Makefile
- examples/scratchpad.html 7 additions, 6 deletionsexamples/scratchpad.html
- examples/sqrt_2.template.html 1 addition, 4 deletionsexamples/sqrt_2.template.html
- flake.lock 60 additions, 0 deletionsflake.lock
- flake.nix 24 additions, 0 deletionsflake.nix
- frontend/classic/css/coq-base.css 32 additions, 9 deletionsfrontend/classic/css/coq-base.css
- frontend/classic/css/coq-light.css 4 additions, 0 deletionsfrontend/classic/css/coq-light.css
- frontend/classic/external/CodeMirror-TeX-input 0 additions, 1 deletionfrontend/classic/external/CodeMirror-TeX-input
- frontend/classic/external/CodeMirror-TeX-input/.gitignore 1 addition, 0 deletionsfrontend/classic/external/CodeMirror-TeX-input/.gitignore
- frontend/classic/external/CodeMirror-TeX-input/LICENSE 22 additions, 0 deletionsfrontend/classic/external/CodeMirror-TeX-input/LICENSE
- frontend/classic/external/CodeMirror-TeX-input/README.md 25 additions, 0 deletionsfrontend/classic/external/CodeMirror-TeX-input/README.md
coqdoclight.py
0 → 100644
coqdoclight_sample.v
0 → 100644
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
etc/wacoq-deps/package.json
0 → 100644
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
flake.lock
0 → 100644
This diff is collapsed.
flake.nix
0 → 100755
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.