# creusot-rs/creusot

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/creusot-rs-creusot).**

_How this analysis was created: the description and tags below were written by an AI model that read this project's README and public documentation pages; stars, license and language come straight from the GitHub API. The model does not read the source code._

1,772 stars · 78 forks · Rust · LGPL-2.1

## Links

- GitHub: https://github.com/creusot-rs/creusot
- Homepage: https://creusot.rs
- awesome-repositories: https://awesome-repositories.com/repository/creusot-rs-creusot.md

## Topics

`contracts` `deductive-reasoning` `formal-methods` `formal-verification` `proof` `rust` `rust-lang` `verification` `why3`

## Description

Creusot helps you prove your Rust code is correct.

## Tags

### Part of an Awesome List

- [Static Analysis](https://awesome-repositories.com/f/awesome-lists/devtools/static-analysis.md) — Deductive verifier for proving absence of panics and overflows.