cslib-community

cslib-community/CSwL

Computational Semantics with Lean

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` 9 days ago

good first issue style

cslib-community/CSwL

0

Computational Semantics with Lean

Lean