Reviews
Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
Search similar apps
License
GNU Lesser General Public License v2.1
Related apps
cdf-program-logics
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
Coq38
4 years ago