BetaRare
creusot-rs/creusot
Creusot helps you prove your Rust code is correct.
- Owner
- creusot-rs (organization)
- Stars
- Stars: 1,954
- Forks
- Forks: 101
- Language
- Rust
- License
- LGPL-2.1
- Created
- 2021
- Topics
- rust-langverificationproofformal-verificationdeductive-reasoningwhy3rustformal-methodscontracts
- Tier
- Beta (700 to 1,999 ★) What this tier means
Nearby in Rust
All Rust repos- teamtype/teamtypeStars: 1,957RustBeta
- ilai-deutel/kibiStars: 1,956RustBeta
- nullpo-head/wsl-distrodStars: 1,954RustBeta
- evilsocket/legbaStars: 1,953RustBeta
- lgarron/folderifyStars: 1,949RustBeta
- valeriansaliou/vigilStars: 1,949RustBeta