{"library":"winter-prover","install":[{"cmd":"# Cargo.toml\n[dependencies]\nwinter-prover = \"0.13.1\"","imports":["use winter_prover::Prover;"]},{"cmd":"cargo add winter-prover","imports":[]}]}