Owner · formal-land

formal-land

formal-land's tracked open-source repos, sorted by stars.

1 repos

#1
rocq-of-rust ↗@formal-landRocq Prover
Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
★ 1,164+0Star change over the last 7 days