skip to:
content
package search
sign in
❤
Pro
Teams
Pricing
Documentation
npm
Search
Sign Up
Sign In
coq-cli
1.0.2 •
Public
• Published
4 years ago
Readme
Code
Beta
2 Dependencies
0 Dependents
3 Versions
how to use ?
go to makasi-cli root folder
npm i -g .
hfhf
/coq-cli/
/
coq-cli
/
Package Sidebar
Install
npm i coq-cli
Downloads
Weekly Downloads
1
Version
1.0.2
License
ISC
Unpacked Size
6.42 kB
Total Files
11
Last publish
4 years ago
Collaborators
Try
on RunKit
Report
malware