xavierleroy / cdf-sem-meca

Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020
21Updated 6 months ago

Related projects

Alternatives and complementary repositories for cdf-sem-meca