leanprover

leanprover/cslib

The Lean Computer Science Library (CSLib)

3 good first / help-wanted issues · Lean · last activity Jul 12, 2026

617 stars 169 forks 617 watchers Lean Apache License 2.0

computer-science lean

View on GitHub Website

3 Open Issues Need Help Last updated: Jul 12, 2026

Open Issues Need Help

View All on GitHub

Add tests for capture-avoiding substitution in lamba calculi 3 months ago

help wanted

leanprover/cslib

617

The Lean Computer Science Library (CSLib)

Lean

#computer-science#lean

Use docgen-action 12 months ago

good first issue

leanprover/cslib

617

The Lean Computer Science Library (CSLib)

Lean

#computer-science#lean

create Cslib.Init and remove `weak` options in lakefile about 1 year ago

good first issue

leanprover/cslib

617

The Lean Computer Science Library (CSLib)

Lean

#computer-science#lean