pa-ba / calc-compLinks

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

Sorting: