Stream: Coq devs & plugin devs


view this post on Zulip Jason Gross (Mar 16 2022 at 03:12): is now open to the public. Should it be added to whatever zulip bot posts new questions?

view this post on Zulip Théo Zimmermann (Mar 16 2022 at 08:59):

As I already mentioned as an answer to your previous post on the topic (, 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: May 20 2024 at 22:01 UTC