Sign in Sign up
npm

jscoq

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

npm View on Npm

Activity

Latest release
2y ago
Total releases
18
Cadence
~2 months
Last 12 months
0

Details

License
unknown
First release
Jun 19, 2019
Releases
Version Released
0.17.1 patch
0.17.0 minor
0.16.0 minor
0.15.1 patch
0.15.0 minor
0.14.1 patch
0.14.0 minor
0.13.3 patch
0.13.2 patch
0.13.0 minor
0.12.3 patch
0.12.2-rc1 pre
0.12.1 patch
0.12.1-rc1 pre
0.12.0 minor
0.11.0 minor
0.10.1 patch
0.10.0 initial