cdf-sem-meca
Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020
20 stars
4 watching
5 forks
Language: Coq
last commit: 6 months ago cdf-sem-meca Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020