Skip to content

feat(Language): characterizing regular languages as preimages of subsets of finite monoids - #921

Open
ctchou wants to merge 2 commits into
leanprover:mainfrom
ctchou:finite-monoid
Open

feat(Language): characterizing regular languages as preimages of subsets of finite monoids#921
ctchou wants to merge 2 commits into
leanprover:mainfrom
ctchou:finite-monoid

Merge remote-tracking branch 'upstream/main' into finite-monoid

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

Annotations

1 notice
check-pr-title
succeeded Sep 21, 2026 in 5s