Proposal: Proof Assistants
One of the suggested names for Proof Assistants SE is
provers, which is currently getting a lot of popularity due to being simpler than
proof-assistants (with or without hyphen).
But this raises a concern: There are some things using the name "prover" other than proof assistants, namely automated theorem provers such as Z3 (aka "Z3 Theorem Prover"). Should questions about automated theorem proving, especially when it is not directly connected to proof assistants, be on-topic on this site? (I found a well-received question example regarding "intuitionistic theorem provers with SMT solvers". I guess "intuitionistic theorem provers" refers to the proof assistants, while "SMT solvers" refers to some of the automatic theorem provers.)