cslib-community

cslib-community/CSwL

Computational Semantics with Lean

1 good first / help-wanted issue · Lean · last activity Sep 9, 2026

0 stars 1 forks 0 watchers Lean Apache License 2.0

View on GitHub Website

1 Open Issue Need Help Last updated: Sep 9, 2026

Open Issues Need Help

View All on GitHub

Two treatments of `∘` in `IntroL.lean` 11 days ago

good first issue style

cslib-community/CSwL

0

Computational Semantics with Lean

Lean