TY  - RPRT
TI  - CSLib: The Lean Computer Science Library
AU  - Clark Barrett
AU  - Swarat Chaudhuri
AU  - Fabrizio Montesi
AU  - Jim Grundy
AU  - Pushmeet Kohli
AU  - Leonardo de Moura
AU  - Alexandre Rademaker
AU  - Sorrachai Yingchareonthawornchai
PY  - 2026
UR  - https://arxiv.org/abs/2602.04846
ID  - 2602.04846
ER  -