Zulip channel for SMT discussions

[Haniel Barbosa]

Hello,

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/ for those
interested. There is an #smtproofs channel there, but other things can
be discussed at #general or at other channels that we may create on
demand.

Best,
--
Haniel Barbosa
https://homepages.dcc.ufmg.br/~hbarbosa/