Skip to content

feat: proof of Myhill-Nerode theorem for DFAs#491

Merged
ctchou merged 30 commits into
leanprover:mainfrom
akhilesh-balaji:myhill-nerode
Jun 7, 2026
Merged

feat: proof of Myhill-Nerode theorem for DFAs#491
ctchou merged 30 commits into
leanprover:mainfrom
akhilesh-balaji:myhill-nerode

more proof golfimg

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

Annotations

1 warning
ci-checks
succeeded Jun 7, 2026 in 5m 6s