GitHub repository: pa-ba/calc-comp
Primary language: Coq
Description: Coq proofs for the paper "Calculating Correct Compilers"