GitHub repository: sarsko/CreuSAT
Primary language: Rust
Description: CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.