Let’s play a game, to help some of the newcomers make connections: name 5-7 things that interest you but aren’t in your profile, as tags so they are searchable. Then boost this post or repeat its instructions so others know to do the same.
#math
#formal_proofs
#coq (coq.inria.fr for information; french has weird name choosing traditions, i know)
#chess / #baduk (a bit)
#math_education and #education (a bit, too)