#99: The Prusti Project: Formal Verification for Rust#99:

Rust で使える静的検証ツールの論文を向井が読みました。

Rust で使える静的検証ツールの論文を向井が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。