Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
Coq
71
20 commits
updated Apr 9, 2024
Contributors
xavierleroy
20 commits
Languages
Coq
99.9%
Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
Coq
71
20 commits
updated Apr 9, 2024
Contributors
xavierleroy
20 commits
Languages
Coq
99.9%