{"library":"mv-prover","type":"library","category":null,"description":"A Move prover for formal verification of Move smart contracts.","language":"rust","status":"active","version":null,"tags":["move","prover","formal-verification","smart-contracts"],"last_verified":"Wed Jun 17","install":[{"cmd":"# Cargo.toml\n[dependencies]\nmv-prover = \"latest\"","imports":["use mv_prover::Prover;"]},{"cmd":"cargo add mv-prover","imports":[]}],"homepage":null,"github":null,"docs":"https://docs.rs/mv-prover/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}