Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
Primary LanguageCoqGNU Lesser General Public License v2.1LGPL-2.1