leanprover / cslib

git clone https://github.com/leanprover/cslib.git

The Lean Computer Science Library (CSLib)

—

stars, 24h

—

stars, 7 days

—

stars, 30 days

771

★ total

216

forks · 214 open issues

Star history starts 2026-10-20; the chart appears after the second daily snapshot.

LanguageLean

LicenseApache-2.0

Created2025-06-17 (1y ago)

Last pushtoday

OwnerOrganization

GitHub topics

computer-science lean

Links

GitHub: github.com/leanprover/cslib
Homepage: https://www.cslib.io/
Releases · Issues · Hacker News mentions