Roadmap

CSLib is past its early bootstrapping phase. It is an active contributor community, a steady flow of pull requests, and ongoing public design discussion on Zulip.

The CSLib Initiative has secured dedicated funding to accelerate progress over the next couple of years. That funding is organized around four operational goals. In the near term, effort is allocated across the pillars as follows:

• Sustaining organic growth. Process, tooling, and documentation that keep contribution and review healthy as the community scales, benefitting both pillars.

• Visibility through external applications. A small number of high-visibility projects built on CSLib that stress-test both pillars, demand new primitives, and contribute general results back into the library.

• Focused foundational investment. Directly funded work on parts of each pillar that need sustained effort to mature — foundational semantics and specification infrastructure on the Pillar 1 side, the Boole verification pipeline on the Pillar 2 side.

• Coordination with the wider ecosystem. Working alongside related Lean and formal-methods efforts so the primitives they need are in place, and so that their results feed back into CSLib.

Concrete milestones and progress reports will be shared as this work matures. The GitHub repository and our Zulip channel are the best places to see what's actively being worked on. See also the open-source library roadmap.