Admin team in 2024

Stream: general

[Jeremy Avigad]

Last year, the Lean Community instituted a new organizational structure that is described on our web pages:

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

The bylaws specify that members of all teams choose an admin team annually by an election, in a manner organized by the current admin team using a system that gives all members a vote of equal weight. Members of the admin team may be re-elected.

Gabriel Ebner has asked to step down at the end of this year. We are pleased to announce that the remaining admin team members have been elected to serve again in 2024, and that Scott Morrison and Sebastian Ullrich, both members of the Lean FRO, will join the team as well. Welcome Scott and Sebastian!

A key reason for increasing representation from the FRO is that we would like to explore ways of better serving the broader Lean community. Developing and maintaining Mathlib has been a central part of our activity, but other overlapping communities are active on Zulip as well, including people interested in using Lean as a programming language, people interested in using Lean for verification, and people building AI and machine learning projects on Lean. The community will be even stronger if we find ways to support these groups and integrate their activities. This may include things like expanding the web pages with additional information and appointing new teams to develop and maintain community resources.

We are looking forward to exploring these possibilities with you and thinking about how the community should evolve to accommodate all the exciting things that are going on.