SimpleIO library addon for jsCoq
npm i @jscoq/simpleio
Gitgithub.com/jscoq/addon-simpleio
github.com/jscoq/addon-simpleio#readme
1
0.17.1
AGPL-3.0-or-later
128 kB
4
7 months ago