Skip to content

feat(Automata): Two-way automaton - #834

Merged
fmontesi merged 16 commits into
leanprover:mainfrom
crei:two-na
Sep 9, 2026
Merged

feat(Automata): Two-way automaton#834
fmontesi merged 16 commits into
leanprover:mainfrom
crei:two-na

Merge remote-tracking branch 'origin/main' into two-na

a1a7ef6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Sep 9, 2026 in 2s