Sign in Sign up
npm

wacoq

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

npm View on Npm

Activity

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

Details

License
unknown
First release
May 06, 2021
Releases
Version Released
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.2 initial