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.

Steering committee

The steering committee guides the overall vision of the project and secures its financial support. Its members also form the Strategic Advisory Board of the CSLib Initiative.

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

CSLib Lead Maintainer, FORM Director

Maintainers

The maintainer team is responsible for the quality of the codebase, establishing technical standards and ensuring coherence across contributions. It is organized into a lead maintainer, technical leads, and area maintainers.

Lead maintainer

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

Fabrizio Montesi

CSLib Lead Maintainer, FORM Director

Technical leads

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

Alexandre Rademaker

CSLib Director and Professor at FGV/EMAp

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)