PKUTCS

PKUTCS

Geek Repo

Github PK Tool:Github PK Tool

PKUTCS's repositories

CSVerifi

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

Language:CoqLicense:MITStargazers:2Issues:2Issues:0