GitHub repository: mit-pdos/armada
Primary language: Coq
Created: 2019-03-02T17:54:02Z
Description: Verifying concurrent storage systems