creusot-rs / creusot

git clone https://github.com/creusot-rs/creusot.git

Creusot helps you prove your Rust code is correct.

stars, 24h · #55,608

+~14

stars, 7 days · #10,733

+~60

stars, 30 days · #11,201

1.9k

★ total · +1% this week

100

forks · 100 open issues

2026-10-20 · 1,930 ★ 2026-10-24 · 1,938 ★

LanguageRust

LicenseLGPL-2.1

Created2021-01-25 (5y ago)

Last pushtoday

OwnerOrganization

Loading README…