Taka's following
- AstalisksAstalisks
- pfnet-research
- auto-res
- GitHubgithub
- Google Researchgoogle-research
- Taketo Sanotaketo1024
- Leanleanprover
- Daichi Kitamurad-kitamura
- Nagata Kanangtkana
- Fmasaki
- lean-jalean-ja
- NASAnasa
- watagashi0619watagashi0619
- kenkooookenkoooo
- Microsoftmicrosoft
- Kensuke Otsukidrken1215
- KitamadoSeasawher
- joisinojoisino
- kou552
- nagohachi