search

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.
https://leanprover-community.github.io/
MIT License
52 stars 121 forks source link

Anne got their PhD and is now a postdoc #485

Closed Vierkantor closed 4 months ago

Vierkantor commented 4 months ago

Also updated my photo to a more recent one!