» Tag
deductive
1 postsCreusot: A Deductive Verifier for the Rust Programming Language
Creusot is a deductive verifier for Rust, proving code compliance with formal specifications to eliminate errors.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.com