verus

已驗證 Rust 的低階系統代碼。 Verus 沒有加入執行時間檢查，而是依靠強大的求解器來證明程式碼是正確的。

本頁的專案背景與編輯內容均可免費閱讀。原始 GitHub 儲存庫仍是最終依據；只有收藏或參與討論時才需要登入。