Companion Coq development for Xavier Leroy's 2021 lectures on program logics
Coq
45
27 commits
updated Apr 14, 2021
Contributors
xavierleroy
27 commits
Languages
Coq
99.9%
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
Coq
45
27 commits
updated Apr 14, 2021
Contributors
xavierleroy
27 commits
Languages
Coq
99.9%