wacoq-bin - npm explorer

wacoq-bin

v0.16.0

WASM Binaries of the Coq Proof Assistant (for jsCoq)

7/weekUpdated 3 years agoMITUnpacked: 49.1 MB

Published by corwin-of-amber

npm install wacoq-bin

Repository Homepage npm

ERROR: No README data found!