Stack Exchange tags

Stream: general

[Meven Lennon-Bertrand]

Just forwarding here the discussion on merging the lean4 and lean tags on the Proof Assistant Stack Exchange. It looks reasonable to me, please say something here or (better) on the linked discussion if you think this is not the right thing to do! Otherwise, I'll go forward with the merge in a few days.