@misc{anonymous_2021_4777349, author = {Anonymous}, title = {Compositional Optimizations for CertiCoq}, month = may, year = 2021, publisher = {Zenodo}, doi = {10.5281/zenodo.4777349}, url = {https://doi.org/10.5281/zenodo.4777349} }