I posted this in http://meta.math.stackexchange.com/questions/1363/tag-merging-and-synonyms/12005#12005, but it's attracted no votes and no comments, so I figure maybe nobody's watching over there.
https://math.stackexchange.com/tags/theorem-provers/info links to automated-theorem-proving, which has no summary or tag wiki and appears indistinguishable.
The computer-assisted-proofs tag also has no tag wiki, and may also be a candidate for merging.