npm explorer
@jscoq/fcsl-pcm - npm explorer
@jscoq/fcsl-pcm
v0.17.1
Partial Commutative Monoids for jsCoq
0
/week
Updated 2 years ago
AGPL-3.0-or-later
Unpacked: 4.2 MB
Published by
corwin.amber
npm
yarn
pnpm
bun
npm install @jscoq/fcsl-pcm
Repository
Homepage
npm
Readme
Dependencies
(0)
Versions
(13)
addon-fcsl-pcm
Partial Commutative Monoids addon for jsCoq