Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
Repository Index
56,139 visible repositories in the index
1–3 of 3 · Most stars
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
The repository host gives no description.