An Introduction to CSLib: The Lean Computer Science Library

CSLib is an open-source frame­work de­signed as the com­put­er sci­ence coun­ter­part to Lean's in­flu­en­tial Math­lib, en­abling for­mal the­o­rem prov­ing and ver­i­fied code de­vel­op­ment across com­put­er sci­ence do­mains. In this talk, I will dis­cuss CSLib in more de­tail, as well as cur­rent on­go­ing projects and ac­tiv­i­ties.