Skip to content

Merge remote-tracking branch 'upstream/main' into na-total

b2f9778
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat: prove that regular languages are closed under concatenation #239

Merge remote-tracking branch 'upstream/main' into na-total
b2f9778
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
ci-checks
succeeded Jan 6, 2026 in 6m 0s