@leanprover@functional.cafe
Joined: 07/24/2023
931
Followers
17
Following
Rehan MALAK
@rehan_malak@mathstodon.xyz
Mandel Alon
@mandel@mathstodon.xyz
Linchaos T
@Tcl314@mathstodon.xyz
nithink
@nithink@mastodon.social
João Honrado da Silva
@lost_leibniz@mathstodon.xyz
YonderJungle8
@YonderJungle8@mathstodon.xyz
Harsh_B
@Harsh_B@mathstodon.xyz
David Jelgersma
@jelgersma@mathstodon.xyz
Dmytro Bobyliev
@bobyliev@mathstodon.xyz
George Z
@typeable@mastodon.social
BV_infty
@BV_infty@mathstodon.xyz
leo01131
@leo01131@troet.cafe