from Hacker News

Creusot: A deductive verifier for Rust code

by varbhat on 2/21/24, 5:08 PM with 0 comments