/A-Modeling-Language

A toy language for modeling the architecture of cloud block storage

Primary LanguageCoq

Stargazers

No one’s star this repository yet.