Forked from
David Hamelin / jscoq-light
Source project has a limited visibility.
-
Emilio Jesus Gallego Arias authoredThese are the current numbers on release: ``` 261K -- dist/wacoq_worker.js 369K -- dist/frontend/index.css 583K -- dist/frontend/index.js ```