View packages at a commit

Paste a `locked_commit` from your `minimal.toml`, or a recent commit from the list.

Back to search results
charon owner avatar

charon

Version: 0.1.223

Analyze Rust crates without touching compiler internals

Install package

min add charon
Tool compiler formal-methods formal-verification
Advisories
10

No OpenSSF scorecard available for this package.

Join the waitlist

Confirm your identity by email or GitHub.

or