creusot-rs/creusot
RustLGPL-2.1active
Health
Creusot helps you prove your Rust code is correct.
Health Breakdown
Activity25
Community25
Maintenance12
Popularity25
#contracts#deductive-reasoning#formal-methods#formal-verification#proof#rust#rust-lang#verification#why3
Should you contribute to creusot-rs/creusot?
creusot-rs/creusot has a FoundDev health score of 87/100, which puts it in the active-and-maintained tier. The maintainer team is shipping recently, issues are being closed, and a PR you open this week has a realistic chance of being reviewed.
Last push was 0 days ago — that signals an actively maintained project. New issues are likely to get a maintainer response within days. The project is written primarily in Rust, so prior Rust experience will shorten ramp-up.
Licensed under LGPL-2.1, a standard OSI-approved license — safe to contribute to under normal employer IP policies.
Community
RustLGPL 2.1
active
0d ago
