cslib-community / complexitylib

git clone https://github.com/cslib-community/complexitylib.git

Computational complexity theory in Lean built on top of CSLib.

—

stars, 24h

—

stars, 7 days

+25

stars, 30 days · #28,072

★ total

forks · 314 open issues

Star history starts 2026-11-08; the chart appears after the second daily snapshot.

LanguageLean

LicenseApache-2.0

Created2026-10-15 (24d ago)

Last pushtoday

OwnerOrganization

Loading README…