#99: The Prusti Project: Formal Verification for Rust Misreading Chat - En podcast av Hajime Morrita, Jun Mukai Spela upp Kategorier: Teknik Rust で使える静的検証ツールの論文を向井が読みました。