Ravencheck: Effectively-Propositional Reasoning for Rust. - Kunha Kim; Nicholas V. Lewchenko; Bor-Yuh Evan Chang; Gowtham Kaki (SOAP@PLDI, 2026)