Showing
- frontend/node/src/headless.ts 20 additions, 10 deletionsfrontend/node/src/headless.ts
- frontend/node/src/my_fflate.ts 0 additions, 51 deletionsfrontend/node/src/my_fflate.ts
- index.html 7 additions, 9 deletionsindex.html
- jscoq.opam 4 additions, 3 deletionsjscoq.opam
- package-lock.json 269 additions, 48 deletionspackage-lock.json
- package.json 7 additions, 5 deletionspackage.json
- package.json.wacoq 0 additions, 88 deletionspackage.json.wacoq
- tests/qa0/nonzeros.v 2 additions, 1 deletiontests/qa0/nonzeros.v
- vendor/coq-serapi 0 additions, 1 deletionvendor/coq-serapi
- vendor/coq-serapi/.github/workflows/ci.yml 115 additions, 0 deletionsvendor/coq-serapi/.github/workflows/ci.yml
- vendor/coq-serapi/.gitignore 6 additions, 0 deletionsvendor/coq-serapi/.gitignore
- vendor/coq-serapi/.ocamlformat 1 addition, 0 deletionsvendor/coq-serapi/.ocamlformat
- vendor/coq-serapi/AUTHORS 5 additions, 0 deletionsvendor/coq-serapi/AUTHORS
- vendor/coq-serapi/CHANGES.md 375 additions, 0 deletionsvendor/coq-serapi/CHANGES.md
- vendor/coq-serapi/CODE_OF_CONDUCT.md 82 additions, 0 deletionsvendor/coq-serapi/CODE_OF_CONDUCT.md
- vendor/coq-serapi/CONTRIBUTING.md 51 additions, 0 deletionsvendor/coq-serapi/CONTRIBUTING.md
- vendor/coq-serapi/FAQ.md 148 additions, 0 deletionsvendor/coq-serapi/FAQ.md
- vendor/coq-serapi/LICENSE 24 additions, 0 deletionsvendor/coq-serapi/LICENSE
- vendor/coq-serapi/Makefile 86 additions, 0 deletionsvendor/coq-serapi/Makefile
- vendor/coq-serapi/README.md 330 additions, 0 deletionsvendor/coq-serapi/README.md
This diff is collapsed.
frontend/node/src/my_fflate.ts
deleted
100644 → 0
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
package.json.wacoq
deleted
100644 → 0
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
vendor/coq-serapi/.github/workflows/ci.yml
0 → 100644
This diff is collapsed.
vendor/coq-serapi/.gitignore
0 → 100644
This diff is collapsed.
vendor/coq-serapi/.ocamlformat
0 → 100644
This diff is collapsed.
vendor/coq-serapi/AUTHORS
0 → 100644
This diff is collapsed.
vendor/coq-serapi/CHANGES.md
0 → 100644
This diff is collapsed.
vendor/coq-serapi/CODE_OF_CONDUCT.md
0 → 100644
This diff is collapsed.
vendor/coq-serapi/CONTRIBUTING.md
0 → 100644
This diff is collapsed.
vendor/coq-serapi/FAQ.md
0 → 100644
This diff is collapsed.
vendor/coq-serapi/LICENSE
0 → 100644
This diff is collapsed.
vendor/coq-serapi/Makefile
0 → 100644
This diff is collapsed.
vendor/coq-serapi/README.md
0 → 100644
This diff is collapsed.