Skip to content

feat(Automata): Regular languages are closed under reversal. - #775

Open
Lsonic233 wants to merge 11 commits into
leanprover:mainfrom
Lsonic233:na-reverse
Open

feat(Automata): Regular languages are closed under reversal. #775
Lsonic233 wants to merge 11 commits into
leanprover:mainfrom
Lsonic233:na-reverse

improve the proof of Execution.reverse

45e5959
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Aug 8, 2026 in 3s