@MartinSleziak The tag domain-theory was later removed by YCor: mathoverflow.net/posts/304891/revisions

@MartinSleziak The tag lean-theorem-prover no longer exists and it is not shown in the revision history either. Most likely, it means that it was merged by a moderator into another tag. (This tag was mentioned a few times in this room.)