A verified compiler for a small language from CMSC 430, implemented in Coq.
Primary LanguageCoqMIT LicenseMIT
No issues in this repository yet.