Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020
Primary LanguageCoqGNU Lesser General Public License v2.1LGPL-2.1