leanprover

leanprover/cslib

The Lean Computer Science Library (CSLib)

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 16 days ago
help wanted
leanprover/cslib
617

The Lean Computer Science Library (CSLib)

Lean
#computer-science#lean
Use docgen-action 9 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 10 months ago
good first issue
leanprover/cslib
617

The Lean Computer Science Library (CSLib)

Lean
#computer-science#lean