@leanprover@functional.cafe
Joined: 07/24/2023
1009
Followers
17
Following
ayoumen
@ayoumen@mathstodon.xyz
SakuraEntropia
@SakuraEntropia@mathstodon.xyz
Michael Kinyon
@ProfKinyon@mathstodon.xyz
He Zhang
@He_Zhang@mathstodon.xyz
bartosz π²π³ππ¦
@btel@mastodon.social
Niko Pachuashvili
@nikoloz_p@mastodon.social
brettkoonce
@brettkoonce@mathstodon.xyz
moth
@ilovemathuwu@mathstodon.xyz
MD Samiul Ehsan
@samiulehsan@mathstodon.xyz
Mark Soares
@marksoares@mathstodon.xyz