PKUTCS

Pinned Repositories

CSVerifi
An implementation of the logic for verifying the correctness of cloud storage system in Coq
Language:Coq2 2 00

PKUTCS's Repositories

PKUTCS/CSVerifi
An implementation of the logic for verifying the correctness of cloud storage system in Coq
Language:Coq2 2 00