Anatole Dedecker

anatolededecker@mathstodon.xyz

<p>PhD student at IMJ-PRG, Université Paris-Cité.</p><p>I am interested in Operator Algebras, Geometric Group Theory, Topology, and Proof Assistants. </p><p>I am a contributor and maintainer of Mathlib: <a href="https://leanprover-community.github.io/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">leanprover-community.github.io/</span><span class="invisible"></span></a></p>