npm-asset/jscoq--software-foundations see on Npm

✔ This package is OK to use!


Last updated: Apr 23, 2025, 3:51:32 PM (a month ago)
Legend: stable RC beta alpha dev

Version Commit SHA
0.17.1 n/a Get ZIP
0.17.0 n/a Get ZIP
0.16.0 n/a Get ZIP
0.15.1 n/a Get ZIP
0.15.0 n/a Get ZIP
0.14.1 n/a Get ZIP
0.14.0 n/a Get ZIP
0.13.3 n/a Get ZIP
0.13.2 n/a Get ZIP
0.13.0 n/a Get ZIP
0.12.3 n/a Get ZIP
0.12.2-RC1 n/a Get ZIP
0.12.1 n/a Get ZIP
0.12.1-RC1 n/a Get ZIP
0.12.0 n/a Get ZIP
dev-master 0845c96f03bd52699b7a718323fe188f09b62a47 Get ZIP or see sources