YSITD_TG_Bot says to #ysitd <zypeh>: https://stackoverflow.com/questions/11531589/difference-between-z3-and-coq