Verus is a tool for verifying the correctness of code written in Rust

	▲	Verus is a tool for verifying the correctness of code written in Rust(verus-lang.github.io)
		4 points by fanf2 13 hours ago