Verify a MapReduce application operating on CBS
Primary LanguageCoq
No issues in this repository yet.