Eric Taucher (Nov 25 2021 at 08:02): Eric Taucher (Nov 25 2021 at 08:02):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.
Eric Taucher (Dec 09 2021 at 12:15):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.
Eric Taucher (Feb 08 2022 at 19:01):The new StackExchange site for Proof Assistants is up.
https://proofassistants.stackexchange.com/
Eric Taucher (Feb 08 2022 at 19:01):(deleted)
Last updated: Dec 22 2024 at 08:21 UTC