Skip to content

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

Open
chiyunhsu wants to merge 95 commits into
leanprover:mainfrom
chiyunhsu:IsRegularIffRegex
Open

feat(Computability/Languages): regular languages have matching regular expressions through Kleene’s Algorithm#887
chiyunhsu wants to merge 95 commits into
leanprover:mainfrom
chiyunhsu:IsRegularIffRegex

Change BddPath to BddPathFLTS

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