GitHub repository: zhaoyig/ccsubbox
Primary language: Coq
Description: Soundness proof for System CC_<:□