You are not logged in
Bluesky Profile
@
Anatole Dedecker
@anatolededecker.bsky.social
Registered: 13 Nov 2023 11:34
Last like given:4 days ago
PhD student interested in Operator Algebras, Geometric Group Theory, Topology, and Proof Assistants. Proud contributor and maintainer of https://leanprover-community.g...
This account allows followers on Bluesky to be notified of new posts from this account.
Handle history for @anatolededecker.bsky.social
anatolededecker.bsky.social
PDS: bsky.social
2023-11-13 11:34:47
anatolededecker.bsky.social
PDS: puffball.us-east.host.bsky.network
2023-11-13 16:57:32