Creusot helps you prove your Rust code is correct

	▲	Creusot helps you prove your Rust code is correct(github.com)
		6 points by fanf2 22 minutes ago