@leanprover@functional.cafe
Joined: 24/07/2023
894
Followers
17
Following
Sahil patel
@sahip9211@mastodon.social
lorentzano
@lorentzano@mathstodon.xyz
mariswang
@mariswang@mathstodon.xyz
O Iago :linux: :debian:
@IGVazquez@social.vivaldi.net
Alejandro_P
@Alejandro_P@mathstodon.xyz
Tassilo Schwarz
@tassilo@mathstodon.xyz
yguindy
@yguindy@mathstodon.xyz
Luiz Gadelha
@lgadelha@fosstodon.org
Till Wehling
@tillwehling@academiccloud.social
paku :himagine_icon: :cat_typing_laptop:
@skyizwhite@himagine.club
shehab
@shehab@mathstodon.xyz