Proposal: Proof Assistants
The Proof Assistants site is scheduled to launch into private beta on February 8, 2022.
We want to thank you for your patience, and the time put into the discussion surrounding the site's name and URL and all the suggestions that came up there. After discussing the pros and cons of each suggestion internally, the Community Team came to the following as the final selection for the site's name and URL:
- Name: Proof Assistants
- URL: proofassistants.stackexchange.com
- Icon: PA
- Target Audience: for mathematicians and computer scientists who develop and use proof assistants
We recognize that the name/URL we ended up with does not match the highest-voted suggestion of "Provers," but as Catija noted that proposed URL is way too ambiguous and would likely cause confusion to newcomers. We ended up going with the second most voted proposal of "Proof Assistants" because it is the most straightforward and unambiguous proposal, and it matches our usual address pattern — it also was the originally-suggested name for this site.
We're looking forward to launching this site! Leave an answer below if you have any questions.