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