Stream: Coq users

Topic: Stack Exchange bot and proof assistants


view this post on Zulip Jason Gross (Feb 08 2022 at 19:00):

It looks like https://proofassistants.stackexchange.com/ just opened for people who signed up for the beta. Should the bot post questions asked on this?

view this post on Zulip Théo Winterhalter (Feb 08 2022 at 19:05):

Maybe once it reaches public beta in 2-4 weeks (as they seem to imply in the email)?

view this post on Zulip Théo Zimmermann (Feb 08 2022 at 19:15):

The bot should automatically pick up on the new Proof Assistants SE when the site becomes public. Possibly, it risks posting all the new questions that were posted in the private beta at once.

view this post on Zulip Théo Zimmermann (Mar 15 2022 at 17:52):

It appears that the beta is finally public. I noticed because the bot has started picking up new questions from this site :tada:

view this post on Zulip Théo Zimmermann (Mar 15 2022 at 18:42):

We should probably prepare announcements for Twitter, Coq-Club and Discourse.

view this post on Zulip Théo Zimmermann (Mar 15 2022 at 18:53):

See https://github.com/coq/www/pull/193 for a proposed website update.

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

I'm thinking that to make sure that a large part of the community learns about the new Proof Assistants Stack Exchange eventually, it would even make sense to advertise it with a banner on Discourse and on the website, like we did for the Coq Community Survey.

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

Banners on the Coq website and the Coq Discourse :check:

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

Pinned tweet on CoqLang :check:

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

I think I'll leave it to others to announce on Coq-Club.


Last updated: Feb 04 2023 at 23:02 UTC