arXiv Open Access 2026

Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib)

Christopher Henson Fabrizio Montesi

Lihat Sumber

Abstrak

Following in the footsteps of the success of Mathlib - the centralised library of formalised mathematics in Lean - CSLib is a rapidly-growing centralised library of formalised computer science and software. In this paper, we present its founding technical principles, operation, abstractions, and semantic framework. We contribute reusable semantic interfaces (reduction and labelled transition systems), proof automation, CI/testing support for maintaining automation and compatibility with Mathlib, and the first substantial developments of languages and models.

Topik & Kata Kunci

cs.LO cs.PL

Penulis (2)

Christopher Henson

Fabrizio Montesi

Format Sitasi

APA MLA BibTeX

Henson, C., Montesi, F. (2026). Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib). https://arxiv.org/abs/2602.15078

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2026
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓