https://github.com/model-checking/verify-rust-std

Verifying the Rust standard library
https://github.com/model-checking/verify-rust-std

Last synced: 4 months ago
JSON representation

Verifying the Rust standard library

• Host: GitHub
• URL: https://github.com/model-checking/verify-rust-std
• Owner: model-checking
• License: other
• Fork: true (rust-lang/rust)
• Created: 2024-05-24T22:47:04.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2024-10-29T22:49:51.000Z (7 months ago)
• Last Synced: 2024-10-30T00:47:35.051Z (7 months ago)
• Language: Rust
• Homepage: https://model-checking.github.io/verify-rust-std/
• Size: 1.24 GB
• Stars: 21
• Watchers: 4
• Forks: 18
• Open Issues: 40

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - Rust std-lib verification - kumar-why-verify-rusts-stdlib):star: - verifying the Rust standard library. (Projects / Verification)