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

Commits on Sep 20, 2026

feat(Language): characterizing regular languages as preimages of subsets of finite monoids
ctchou
committed
8842bc4

Commits on Sep 21, 2026

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