Learning Resources

API Documentation

For the library's API reference, see the API documentation. This documentation is automatically updated on every new commit to the library's main branch.

Papers

• CSLib: The Lean Computer Science Library
  • arXiv
  1. Clark Barrett
  2. Swarat Chaudhuri
  3. Fabrizio Montesi
  4. Jim Grundy
  5. Pushmeet Kohli
  6. Leonardo de Moura
  7. Alexandre Rademaker
  8. Sorrachai Yingchareonthawornchai
  arXiv:2602.04846, 2026
• Hennessy-Milner Logic in CSLib, the Lean Computer Science Library
  • arXiv
  1. Fabrizio Montesi
  2. Marco Peressotti
  3. Alexandre Rademaker
  arXiv:2602.15409, 2026
• Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib)
  • arXiv
  1. Christopher Henson
  2. Fabrizio Montesi
  arXiv:2602.15078, 2026