Mon, 03 Jul 2023 15:40:15 +0000

mathstodon.xyz というインスタンス用のアカウントも申請してみた．申請が終わってから日本語版みたいなのがあることに気づいた(т-т)
また後でやろう