Practical, High-Performance Verification in Rust

ダウンロード

9月 2024

Automatically synthesize proof annotations that help Verus prove the correctness of Rust code.

Github for AutoVerus