Governance

Cslib is governed by two main bodies:

  • A steering committee, responsible for securing financial support and guiding the overall vision of the project.

  • A maintainer team, responsible for curating, expanding, and maintaining the code repository and its technical direction.

These groups work together to define the project's roadmap and foster a welcoming and productive environment. New members may be invited based on project needs and individual merit (e.g., contributions, review activity).

Steering committee

Clark Barrett

Stanford University and Amazon

Swarat Chaudhuri

Google DeepMind and UT Austin

Jim Grundy

Amazon

Pushmeet Kohli

Google DeepMind

Leo de Moura

Lean Chief Architect, Co-Founder of Lean FRO, and Amazon

Fabrizio Montesi

University of Southern Denmark and Danish Institute for Advanced Study

Maintainers

The maintainer team is responsible for the quality of the codebase, establishing technical standards and ensuring coherence across contributions.

Lead maintainer

The lead maintainer coordinates the overall work of the maintainer team and oversees the project's repositories.

  • Fabrizio Montesi, University of Southern Denmark and Danish Institute for Advanced Study.

Technical leads

Technical leads guide long-term developments that may span multiple areas of the codebase, offering specialised expertise.

Alexandre Rademaker

Atlas Computing and Getulio Vargas Foundation

Sorrachai Yingchareonthawornchai

ETH Zurich

Area maintainers

Area maintainers are trusted contributors who take ownership of specific areas of the codebase, supporting their growth both as subject-matter experts and reviewers.

Chris Henson

Drexel University. Lambda calculus, metaprogramming

Kim Morrison

Lean FRO. Continuous Integration and Deployment (CI/CD) with upstream (Lean, mathlib)

Contact

The best option is to post your question or message in the CSLib Zulip channel. You can also open an issue on the CSLib repository. Alternatively, you may contact any of us.