mv-prover

libraryrscratesunverified

A Move prover for formal verification of Move smart contracts.

# Cargo.toml
[dependencies]
mv-prover = "latest"

INSTALL

IMPORT

SIG · MV-PROVER

mv-prover

otherrust

harness data pending

Install & Compatibility

Where this runs

No compatibility data collected yet for this library.

Code

Verified usage

Verified import paths — ran on the pinned version, not inferred.

Prover

✓ use mv_prover::Prover;

Initialize the Move prover.

use mv_prover::Prover; fn main() { let prover = Prover::new(); println!("Prover initialized"); }

Debug

Known issues

No known issues recorded.

Upgrade

Version history

Breaking-change detection hasn't run for this library yet.

Audit

Dependencies

No dependency data recorded yet.

Agent activity

17 hits · last 30 days

node

Resources