formal-land/rocq-of-rust
PublicFormal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
- Stars1.2k+10 tuần này
- Forks43
- Watchers11
- Issues26
- Ngày tạo28/12/2022
- Cập nhật gần nhất29/10/2026
- Ngôn ngữRocq Prover
- Giấy phép—
Repo này không có README
Chủ repo chưa viết README, hoặc file chưa được đồng bộ về Bee. Xem trực tiếp trên GitHub.
Mở trên GitHub