/semantic-preservation

Attempt to prove semantic preservation (forward simulation) for a simple compiler.

Primary LanguageCoqBSD 2-Clause "Simplified" LicenseBSD-2-Clause

No issues in this repository yet.