addon-fcsl-pcm
Partial Commutative Monoids addon for jsCoq
@jscoq/fcsl-pcm
0.17.1 • Public • PublishedReadme
Keywords
nonePackage Sidebar
Install
npm i @jscoq/fcsl-pcm
Repository
Weekly Downloads
1
Version
0.17.1
License
AGPL-3.0-or-later
Unpacked Size
4.22 MB
Total Files
4