CreuSAT: Formally verified SAT solver written in Rust and verified with Creusotgithub.com/sarsko315 pointsingve4 years ago