An implementation of the logic for verifying the correctness of cloud storage system in Coq
Primary LanguageCoqMIT LicenseMIT