@misc{indiciae72d642f36e9a,
  title = {Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib)},
  author = {Christopher Henson and Fabrizio Montesi},
  year = {2026},
  doi = {10.4204/eptcs.449.9},
  url = {https://arxiv.org/abs/2602.15078},
  note = {Source identifier: 2602.15078}
}