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 2 months ago

help wanted

leanprover/cslib

617

The Lean Computer Science Library (CSLib)

Lean

#computer-science#lean

Use docgen-action 10 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 11 months ago

good first issue

leanprover/cslib

617

The Lean Computer Science Library (CSLib)

Lean

#computer-science#lean