@inproceedings{ringer-2018-adapting, series={CPP ’18}, title={Adapting proof automation to adapt proofs}, url={http://dx.doi.org/10.1145/3167094}, DOI={10.1145/3167094}, booktitle={Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs}, publisher={ACM}, author={Ringer, Talia and Yazdani, Nathaniel and Leo, John and Grossman, Dan}, year={2018}, month=Jan, pages={115–129}, collection={CPP ’18} }