jscoq CDN files

jsDelivr monthly hits badge
  1. jscoq@0.17.1 /
  2. backend
...
jsoo
wasm
coq-identifier.js 2.64 KB
coq-worker.ts 15.48 KB
future.ts 1.73 KB
index.ts 56 B

Free Open Source CDN for jscoq

Looking for a nice landing page for your package? https://www.jsdelivr.com/package/npm/jscoq