Anatole Dedecker
@anatolededecker.bsky.social
PhD student interested in Operator Algebras, Geometric Group Theory, Topology, and Proof Assistants. Proud contributor and maintainer of https://leanprover-community.github.io/
No media yet.