/cdf-mech-sem

Coq development for the course "Mechanized semantics", Collège de France, 2019-2020

Primary LanguageCoqGNU Lesser General Public License v2.1LGPL-2.1

No issues in this repository yet.