Add myself as reviewer in data/teams.yaml

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

https://leanprover-community.github.io/

MIT License

54 stars 123 forks source link

Closed adomani closed 11 months ago

adomani commented 11 months ago

Not much else to say, other than I hope to have modified the correct file in the correct place!