Proposal: Proof Assistants
According to this answer, we do not really get to choose the name of the new site. Instead, the StackExchange overlords will create one for us. (They have had some negative experience with people quarreling over the naming of their site.)
As I understand things, unless there is good reason to deviate, they will pick
proof-assistants.stackexchange.com. However, they occasionally deviate from the direct transliteration of the proposal name; for example, they shorten "computer science" to "CS" and such.
I propose that each answer to this question should start with the proposed name, followed by a rationale. As I said, this will likely all come to nothing, but perhaps a SE high priest is watching and will chime in. We're also going to see how civilized we are, as this is potentially worse than choosing the color of wallpapers with your spouse.
this is potentially worse than choosing the color of wallpapers with your spouseOh but we do have to choose the wallpaper for this site. (ref) :-)