Add link to the Zulip channel to the website#242

martinjonas merged 2 commits into

masterSMT-COMP/smt-comp.github.io:masterfrom

web_add_zulipSMT-COMP/smt-comp.github.io:web_add_zulipCopy head branch name to clipboard