Connection provers in Rust
A SAT solver written in Rust
Kani Rust Verifier
Rust language server support for coc.nvim
Coq plugin for extracting Rust code
Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 For...
Alternative implementation of the logical framework Dedukti in Rust
OCaml extensions in Rust
Alternative rust compiler (re-implementation)
An innovative Verilog-A compiler
A verification toolchain for Rust programs
probe: Static probes for Rust
A Rust compiler front-end for IDEs
An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independen...
Creusot helps you prove your code is correct in an automated fashion.