Reviews
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
Search similar apps
License
Related apps
cdf-mech-sem
Coq development for the course "Mechanized semantics", Collège de France, 2019-2
Coq48lgpl-2.1
10 months ago
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
Coq development for the course "Mechanized semantics", Collège de France, 2019-2
Coq48lgpl-2.1
10 months ago