feat: prove that regular languages are closed under concatenation#239

Merged

fmontesi merged 7 commits intoleanprover:mainfrom

ctchou:na-total

Jan 9, 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 8, 2026