Sign Up for Free

RunKit +

Try any Node.js package right in your browser

This is a playground to test code. It runs a full Node.js environment and already has all of npm’s 1,000,000+ packages pre-installed, including @corwin.amber/jscoq with all npm packages installed. Try it out:

@corwin.amber/jscoq lists no main file and has no index.js, so it can't be directly required. If this is a mistake, please let us know. It may however contain internal files that you can require manually:

// require("@corwin.amber/jscoq/[??]")

This service is provided by RunKit and is not affiliated with npm, Inc or the package authors.

@corwin.amber/jscoq v0.11.0-rc2

A port of Coq to JavaScript -- run Coq in your browser

RunKit is a free, in-browser JavaScript dev environment for prototyping Node.js code, with every npm package installed. Sign up to share your code.
Sign Up for Free