Showing
- jscoq.js 1 addition, 0 deletionsjscoq.js
- jscoq.opam 4 additions, 3 deletionsjscoq.opam
- package-lock.json 13013 additions, 0 deletionspackage-lock.json
- package.json 6 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
- vendor/coq-serapi/ROADMAP.md 44 additions, 0 deletionsvendor/coq-serapi/ROADMAP.md
- vendor/coq-serapi/VERSION 1 addition, 0 deletionsvendor/coq-serapi/VERSION
jscoq.js
0 → 100644
This diff is collapsed.
This diff is collapsed.
package-lock.json
0 → 100644
This diff is collapsed.
This diff is collapsed.
package.json.wacoq
deleted
100644 → 0
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.
vendor/coq-serapi/ROADMAP.md
0 → 100644
This diff is collapsed.
vendor/coq-serapi/VERSION
0 → 100644
This diff is collapsed.