Lib.rs

›

vcg

Owned by David Pearce.

Install
API reference
GitHub repo (davepearce)

1 unstable release

0.1.0	Aug 15, 2023

Apache-2.0

29KB
646 lines

Utilities for manipulating verification conditions

No runtime deps

build build.rs

See also: vcg-auction, to-streamshare, diesel-dtrace, souvenir, dach, mcrs, tuker, critters-rs, rapidhash-u128, spacetimedb-query-planner, lamm

Lib.rs is an unofficial list of Rust/Cargo crates, created by kornelski. It contains data from multiple sources, including heuristics, and manually curated data. Content of this page is not necessarily endorsed by the authors of the crate. This site is not affiliated with nor endorsed by the Rust Project. If something is missing or incorrect, please file a bug.