GitHub repository: nchong-at-aws/vcc-proofs-of-cio
Primary language: C
Description: VCC proofs for C-IO