7.1
"Coq-of-Rust Tool Now Translates Core and Alloc Crates of Rust into Formal Proof System Coq to Streamline Verification of Rust Programs"
formal.land
#
©
News Score
score the news, sort the news, rewrite the headlines
Leaderboard
Submit
About