feat: prove that regular languages are closed under Kleene star#241

Open

ctchou wants to merge 11 commits intoleanprover:mainfrom

ctchou:na-kstar

Commits on Dec 27, 2025

feat: prove that regular languages are closed under concatenation
ctchou
committed

Commits on Dec 28, 2025

incorporate Chris Henson's comments
ctchou
committed

Commits on Dec 30, 2025

Merge remote-tracking branch 'upstream/main' into na-total
ctchou
committed

Commits on Jan 6, 2026

Commits on Jan 9, 2026

Merge remote-tracking branch 'upstream/main' into na-kstar
ctchou
committed