added faenuccio to the reviewers team - Githubissues

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

added faenuccio to the reviewers team #484

Closed faenuccio closed 4 months ago