0.1.5 • Published 10 years ago
pvs-proofs v0.1.5
PVS Proofs
Wrapper for generating number of outstanding PVS proofs. a.k.a proveit lite.
Install
npm install -gUsage
proofs [path to file]License
MIT © Skyler Layne
Wrapper for generating number of outstanding PVS proofs. a.k.a proveit lite.
npm install -gproofs [path to file]MIT © Skyler Layne