SMTCoq: Safe and Efficient Automation in Coq

POPL 2020