tofgarion / cdf-sem-meca Goto Github PK
View Code? Open in Web Editor NEWThis project forked from xavierleroy/cdf-sem-meca
Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020
License: GNU Lesser General Public License v2.1