Stream: Coq devs & plugin devs

Topic: proofassistants.stackexchange.com


view this post on Zulip Jason Gross (Mar 16 2022 at 03:12):

https://proofassistants.stackexchange.com/ 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 (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