YSITD_TG_Bot
says to
#ysitd
[Title] Difference between Z3 and coq - Stack Overflow