WASM Binaries of the Coq Proof Assistant (for jsCoq)
npm install wacoq-bin
ERROR: No README data found!