/cdf-program-logics

Companion Coq development for Xavier Leroy's 2021 lectures on program logics

Primary LanguageCoq

No issues in this repository yet.