Skip to content

feat(Computability/Languages): regular languages have matching regular expressions through Kleene’s Algorithm - #887

Merged
fmontesi merged 124 commits into
leanprover:mainfrom
chiyunhsu:IsRegularIffRegex
Oct 23, 2026
Merged

fmontesi merged 124 commits into
leanprover:mainfrom
chiyunhsu:IsRegularIffRegex

Fixed typos and capitalization

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

Annotations

1 warning and 1 notice
ci-checks
succeeded Oct 23, 2026 in 7m 7s