“An open-source library of reusable components for proving theorems in computer science”In its own words: cslib.io
Open-source Lean library for formal reasoning about computer science and writing formally verified code, aiming to be for computer science what Mathlib is for mathematics.
Show detailsHide details
Received $3.9M from 1 funder
Checked 25 Oct 2026
Money flows
Where its money came from and where it went. Pick years and what to show; hover a box or ribbon for details, click one to focus it, click the background to see everything.
Funded by
- Coefficient Giving$3.9M
All grants
1 grant totalling $3.9M, newest first.
2026 1 grant · $3.9M
| Date | Funder | Amount | Purpose |
|---|---|---|---|
| May 2026 | Coefficient Giving | $3.9M | Infrastructure for Formal Software Verification in Lean source |