Showing
- backend/coq-worker.ts 1 addition, 1 deletionbackend/coq-worker.ts
- backend/jsoo/js_stub/coq_vm.js 3 additions, 0 deletionsbackend/jsoo/js_stub/coq_vm.js
- backend/wasm/byterun_stubs.c 1 addition, 0 deletionsbackend/wasm/byterun_stubs.c
- 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
- docs/quick-help.html 20 additions, 1 deletiondocs/quick-help.html
- dune 3 additions, 1 deletiondune
- esbuild.mjs 1 addition, 1 deletionesbuild.mjs
- etc/adopt-addons.cjs 0 additions, 0 deletionsetc/adopt-addons.cjs
- 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 9 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
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.
File moved
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.