Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io : prover-lab : 0.2.0
Move Prover lab
Registry -
Documentation -
Download -
JSON
purl: pkg:cargo/[email protected]
Published:
Indexed:
Loading...
Readme
Loading...
Dependencies
- anyhow ^1.0.52 normal
- chrono ^0.4.19 normal
- clap ^3.1.8 normal
- codespan-reporting ^0.11.1 normal
- hex ^0.4.3 normal
- itertools ^0.10.0 normal
- log ^0.4.14 normal
- move-stackless-bytecode ^0.2.0 normal
- mv-compiler ^0.2.0 normal
- mv-model ^0.2.0 normal
- mv-prover ^0.2.0 normal
- num ^0.4.0 normal
- plotters ^0.3.0 normal
- serde ^1.0.124 normal
- serde_json ^1.0.64 normal
- simplelog ^0.9.0 normal
- z3tracer ^0.8.0 normal