xavierleroy/cdf-program-logics

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

Coq