Sign in Sign up
npm

@corwin.amber/jscoq

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

npm View on Npm

Activity

Latest release
6y ago
Total releases
1
Cadence
—
Last 12 months
0

Details

License
unknown
First release
Apr 03, 2020
Releases
Version Released
0.11.0-rc2 pre