Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib). - Christopher Henson; Fabrizio Montesi (CoRR, 2026)