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 myself to reviewers list #476

Closed grunweg closed 3 months ago

PatrickMassot commented 3 months ago

Welcome!