Skip to content

Merge remote-tracking branch 'upstream/main' into na-kstar (including…

b31c18a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

feat: prove that regular languages are closed under Kleene star #241

Merge remote-tracking branch 'upstream/main' into na-kstar (including…
b31c18a
Select commit
Loading
Failed to load commit list.