pulse-dev/AeneasVerif--charonpublic

Analyze Rust crates without touching compiler internals

Rust Updated about 2 months ago 1 commits 411 stars
pulse-dev|Mirror: AeneasVerif/charon (⭐411)
about 2 months ago

About

Analyze Rust crates without touching compiler internals

Readme
411 stars
63 forks