Stack Exchange will soon create the Private Beta site for Proof Assistants and Automatic Theorem Provers. If you want to see what a Stack Exchange site is like in its initial beginnings, want to help shape the future of that site, or just want the silver beta badge, then I highly recommend getting involved in the Private Beta!

Questions on MathOverflow Meta and Mathematics Meta have been asked about the scope of provers:

Questions on the Theoretical Computer Science Meta have also been asked about the scope of provers:

Similar questions have also been brought up on the Meta for Computer Science SE (a very related site that a lot of the users here use):

There was also another tangentially related Meta post on Mathematics SE:

Now there's finally going to be a site catering to that intersection of CS.SE, TCS.SE, MathOverflow and MSE that deals with the topic of computerized provers.

To receive updates about when the site goes live, and when it graduates, and for the opportunity to get rewarded for your early efforts with the site, you can go here, click "sign up" or "login" to make sure your Stack Exchange account is connected, the click "commit".

Often people hesitate to click "commit" because it asks you to promise that you'll post at least 10 questions or answers on the new site, but don't worry about that because most people that click "commit" do not fulfill that commitment, and there's no negative consequences for not committing. However if you do follow through with your commitment you do get rewarded for that.

There is already a MathOverflow chat room which everyone here is welcome to join if they want to discuss the scope, name, or general structure of the site before it goes live!

  • 1
    $\begingroup$ There is also the Precognitive badge. But I'd hope that badges are not the main motivation why people joint the site. $\endgroup$ Jan 16, 2022 at 4:36
  • 4
    $\begingroup$ @MartinSleziak I think it's too late for them to get that badge, because they'd have to have followed the proposal at the "definition stage" to get that badge, but now that stage is over and we're in the "commitment stage". $\endgroup$ Jan 16, 2022 at 4:37
  • $\begingroup$ Is the private beta actually open? $\endgroup$
    – David Roberts Mod
    Jan 19, 2022 at 1:07
  • $\begingroup$ @DavidRoberts "Stack Exchange will soon create the Private Beta site for Proof Assistants and Automatic Theorem Provers" -- it's been 2 days since I said that and the situation is still the same! $\endgroup$ Jan 19, 2022 at 1:09
  • 2
    $\begingroup$ I think the title needs updating, then. It implies the beta's already open, by my reading. $\endgroup$
    – David Roberts Mod
    Jan 19, 2022 at 4:20
  • 6
    $\begingroup$ @DavidRoberts I hadn't noticed that the title had been edited by Federico Poloni to mention the Beta in it. I had never put the word "Beta" in the title, but unfortunately it seem that we don't get notifications when people edit our posts on Meta. $\endgroup$ Jan 19, 2022 at 5:13
  • $\begingroup$ @NikeDattani Sorry, I misread (and saw your comment only now, there was no notification). I still suggest that the title should contain a verb to be more informative, though: what is happening to this new SE site? What is the news here? I'd suggest to add "...to open private beta", or "...will open private beta" if you agree. $\endgroup$ Jan 24, 2022 at 22:44
  • $\begingroup$ @FedericoPoloni several highly experienced Stack Exchange users have seen the title and even made edits that improved it, but none (other than you) have added an additional verb to it like you suggest. The title is only to catch people's attention while not being deceiving, and the body of the post is where all the information lives. The first sentence of the post "Stack Exchange will soon create the Private Beta site for Proof Assistants and Automatic Theorem Provers" contains the "verb" that you seem to desire. $\endgroup$ Jan 24, 2022 at 22:52
  • $\begingroup$ Most posts here on Meta similar to yours either have a verb or specify clearly at which stage their site is with the word "proposal": meta.mathoverflow.net/questions/1414, meta.mathoverflow.net/questions/2430, meta.mathoverflow.net/questions/1512, meta.mathoverflow.net/questions/1648, meta.mathoverflow.net/questions/1426 (exception meta.mathoverflow.net/questions/4321, currently at -4 score). $\endgroup$ Jan 26, 2022 at 16:58
  • $\begingroup$ ^ There's bigger things to worry about than that. $\endgroup$ Jan 26, 2022 at 17:51
  • $\begingroup$ A similar announcement on Mathematics Meta: New stack exchange site: for interactive theorem provers and automatic theorem provers $\endgroup$ Feb 9, 2022 at 7:31


You must log in to answer this question.

Browse other questions tagged .