@leanprover@functional.cafe
Joined: 07/24/2023
824
Followers
17
Following
Yuviwen
@Yuviwen@mathstodon.xyz
Zhiwen_Liu
@Zhiwen_Liu@mathstodon.xyz
anrgmrty
@anrgmrty@mathstodon.xyz
param
@param@mathstodon.xyz
Rob
@simrob@social.wub.site
Gokul Das
@goku12@fosstodon.org
Hampy Chan
@hampychan@mastodon.social
sequentlabs
@sequentlabs@mastodon.social
Sreejata Kishor Bhattacharya
@skbhattacharya@mathstodon.xyz
Zhaoyi Ge
@zge@functional.cafe
Orr Shalit
@OrrShalit@mathstodon.xyz
unknot
@unknot@mathstodon.xyz