Crux, a Precise Verifier for Rust and Other Languages

3 points | by belter 2 days ago