aqissiaq / cdf-mech-sem Goto Github PK
View Code? Open in Web Editor NEWThis project forked from xavierleroy/cdf-mech-sem
Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
License: GNU Lesser General Public License v2.1