formal-land / rocq-of-rust

git clone https://github.com/formal-land/rocq-of-rust.git

Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.

stars, 24h · #52,294

+~5

stars, 7 days · #19,527

+~22

stars, 30 days · #23,855

1.2k

★ total · +0% this week

forks · 61 open issues

2026-10-20 · 1,175 ★ 2026-10-24 · 1,178 ★

LanguageRocq Prover

License—

Created2022-12-28 (3y ago)

Last push1d ago

OwnerOrganization

Loading README…