About Anatole Dedecker

PhD student interested in Operator Algebras, Geometric Group Theory, Topology, and Proof Assistants. Proud contributor and maintainer of https://leanprover-community.github.io/

Lists

Timeline

anatolededecker has no activity yet