zypeh
says to
YSITD
https://stackoverflow.com/questions/11531589/difference-between-z3-and-coq