search

leanprover-community / leanprover-community.github.io

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

Add Kevin Buzzard to maintainer list #460

Closed kbuzzard closed 5 months ago

bryangingechen commented 5 months ago

LGTM, let's see if it builds 🙏