/adapting-verified-compilation

Repository containing the Coq development accompanying my senior thesis, Adapting Verified Compilation for Target-Language Errors.

Primary LanguageCoq

No issues in this repository yet.