cdf-mech-sem
Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
62 stars
4 watching
4 forks
Language: Coq
last commit: 6 months ago
Linked from 2 awesome lists
cdf-mech-sem Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
coq-community/awesome-coq
uhub/awesome-coq