/adapting-verified-compilation

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

Primary LanguageCoq

Repository for my senior thesis, Adapting Verified Compilation for Target-Language Errors.