pa-ba / calc-comp

Coq proofs for the paper "Calculating Correct Compilers"
30Updated last year

Alternatives and similar repositories for calc-comp:

Users that are interested in calc-comp are comparing it to the libraries listed below