▲ 1 pointsCreusot is a deductive verifier for the Rust programming languagecreusot.rsby Bluestein·5d ago·0 comments·view on hn ↗