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.

  • 22
    Since this site will be a mathematical site involving a lot of mathematical content. Can we get it shipped with MathJax enabled? Commented Jan 27, 2022 at 17:23
  • Nice!! Can't wait to ask questions there
    – ice1000
    Commented Jan 28, 2022 at 18:58
  • Huh, I got a "site not found" redirect :( Commented Feb 8, 2022 at 16:28
  • The message saying we are expected to create this site on X date is still showing. Commented Feb 8, 2022 at 18:17
  • 1
    fixed, @HenryWHHackv3.0b
    – JNat StaffMod
    Commented Feb 9, 2022 at 10:21

1 Answer 1


We certainly will be needing MathJax enabled. There will be a lot of maths content.

  • 15
    I've made a note so we remember to have it enabled upon launch ;)
    – JNat StaffMod
    Commented Jan 28, 2022 at 14:57

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .