# creusot-rs/creusot

<https://repo.masters-masters.com/en/repos/creusot-rs/creusot>

[Home](https://repo.masters-masters.com/en) › [creusot-rs](https://repo.masters-masters.com/en/owners/creusot-rs) › [creusot](https://repo.masters-masters.com/en/repos/creusot-rs/creusot)

creusot-rs/creusot has 1,954 stars on GitHub. Its RepoMasters card: Beta tier. Creusot helps you prove your Rust code is correct. Language: Rust.

| Field | Value |
| --- | --- |
| Owner | [creusot-rs](https://repo.masters-masters.com/en/owners/creusot-rs) |
| Stars | 1,954 |
| Forks | 101 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | LGPL-2.1 |
| Created | 2021 |
| Topics | rust-lang, verification, proof, formal-verification, deductive-reasoning, why3, rust, formal-methods, contracts |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [creusot-rs/creusot](https://github.com/creusot-rs/creusot) |

## Repository

Creusot helps you prove your Rust code is correct.

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## Nearby in Rust

- [teamtype/teamtype · ★ 1,957 · Rust · Beta](https://repo.masters-masters.com/en/repos/teamtype/teamtype)
- [ilai-deutel/kibi · ★ 1,956 · Rust · Beta](https://repo.masters-masters.com/en/repos/ilai-deutel/kibi)
- [nullpo-head/wsl-distrod · ★ 1,954 · Rust · Beta](https://repo.masters-masters.com/en/repos/nullpo-head/wsl-distrod)
- [evilsocket/legba · ★ 1,953 · Rust · Beta](https://repo.masters-masters.com/en/repos/evilsocket/legba)
- [lgarron/folderify · ★ 1,949 · Rust · Beta](https://repo.masters-masters.com/en/repos/lgarron/folderify)
- [valeriansaliou/vigil · ★ 1,949 · Rust · Beta](https://repo.masters-masters.com/en/repos/valeriansaliou/vigil)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.