addon-software-foundations
Software Foundations book libraries addon for jsCoq
@jscoq/software-foundations
0.17.1 • Public • PublishedReadme
Keywords
nonePackage Sidebar
Install
npm i @jscoq/software-foundations
Weekly Downloads
16
Version
0.17.1
License
AGPL-3.0-or-later
Unpacked Size
12.2 MB
Total Files
7