cslib-community/complexitylib
Computational complexity theory in Lean built on top of CSLib.
GitHub repository with 18 stars and 11 forks.
Language: Lean
24h trend summary
Trending score 1.77, freshness score 0.98, stars gained +5, forks gained +3.
Latest metric snapshot
2026-11-02: 18 stars and 11 forks.