In a discussion on the SMT proofs group it was suggested that we had a
zulip organization to facilitate discussions. The SMT-LIB coordinators
felt that this zulip could also be used for SMT in general, so they
encouraged creating a general zulip.
This org is at https://smtlib.zulipchat.com/
interested. There is an #smtproofs channel there, but other things can
be discussed at #general or at other channels that we may create on