An implementation of the logic for verifying the correctness of cloud storage system in Coq
Primary LanguageCoqMIT LicenseMIT
No issues in this repository yet.