GitHub repository: microsoft/verified-storage
Primary language: Rust
Created: 2023-06-13T19:03:47Z
Description: Storage systems with verified correctness properties