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

Merged

fmontesi merged 13 commits intoleanprover:mainfrom

ctchou:na-kstar

Jan 15, 2026

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

Commits on Jan 12, 2026

Merge remote-tracking branch 'upstream/main' into na-kstar (including the move to the new module system)
ctchou
committed