Skip to content
@PKUTCS

PKUTCS

Popular repositories Loading

  1. CSVerifi CSVerifi Public

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

    Coq 2

Repositories

Showing 1 of 1 repositories
  • CSVerifi Public

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

    PKUTCS/CSVerifi’s past year of commit activity
    Coq 2 MIT 0 0 0 Updated May 16, 2017

Top languages

Loading…

Most used topics

Loading…