Forked from
David Hamelin / jscoq-light
Source project has a limited visibility.
-
Shachar Itzhaky authoredPorted old code to TypeScript with major rearrangement. Build based on Webpack.
Shachar Itzhaky authoredPorted old code to TypeScript with major rearrangement. Build based on Webpack.