Proofs and Programs book addon for jsCoq
npm i @jscoq/pnp
Gitgithub.com/jscoq/addon-pnp
github.com/jscoq/addon-pnp#readme
1
0.17.1
AGPL-3.0-or-later
101 kB
4
8 months ago