This is my first time posting here so please excuse me if this is out of place.
This site was mentioned on Andrej Bauer's log
Mathematics and Computation in the topic
The proposal for a proof assistants StackExchange site (ref)
The proposal is still open to those wanting to commit before the private beta.
A StackExchange chat room for the ProofAssistants proposal has been setup: https://chat.stackexchange.com/rooms/131732/proofassistants-temp
I did not post this under
Announcements but feel free to repost it there if needed.
Proof Assistants private beta launch will take place in January 2022
Since we want all proposals to have the best chances of thriving as possible, the Community Team has decided to postpone this proposal's launch into private beta to January 2022, in an attempt to minimize the impact of the upcoming end-of-year holidays in the site's chances of success.
Additionally, the proposal sped through its definition and commitment phases, which we believe hasn't allowed for some discussions that usually take place during those phases — such as deciding on a name and URL for the site — to come to a consensus. As such, we invite those of you who've committed to this proposal to try to have those conversations between now and the first couple of weeks of January 2022. At that time the Community Team will help y'all tie whatever loose ends need to be tied, and prepare the site for launch into private beta.
The new StackExchange site for Proof Assistants is up.
Last updated: Mar 04 2024 at 10:08 UTC