cdf-program-logics

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

37 stars

2 watching

6 forks

Language: Coq

last commit: over 3 years ago

Linked from 2 awesome lists

Backlinks from these awesome lists: