https://proofassistants.stackexchange.com/ is now open to the public. Should it be added to whatever zulip bot posts new questions?
As I already mentioned as an answer to your previous post on the topic (https://coq.zulipchat.com/#narrow/stream/237977-Coq-users/topic/Stack.20Exchange.20bot.20and.20proof.20assistants), the bot picks up all Stack Exchange questions with the
coq tag, and it has already started picking up the new Proof Assistants SE questions.
Last updated: Feb 01 2023 at 16:03 UTC