Update: The ProofAssistants Private Beta has started.

Stack Exchange will soon (February 8th) start Private Beta site for Proof Assistants and Automatic Theorem Provers. If you want to see what a StackExchange 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!

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.

  • $\begingroup$ Huh, surprised to see this advertised here as the connections are at best tangential... $\endgroup$ Jan 16, 2022 at 11:58
  • $\begingroup$ @TheSimpliFire I think it's less about the close connection than about paying it forward for another science site. During our beta process, we cast a pretty wide net of where we placed ads and I think it's good to help out other communities where we can. A couple sites had dedicated posts on their Meta to promote new science sites: for example $\endgroup$
    – Tyberius Mod
    Jan 18, 2022 at 2:05


You must log in to answer this question.