Skip to content

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

Open
crei wants to merge 9 commits into
leanprover:mainfrom
crei:two-na
Open

feat(Automata): Two-way automaton#834
crei wants to merge 9 commits into
leanprover:mainfrom
crei:two-na

Commits

Commits on Aug 24, 2026

Commits on Aug 27, 2026

Commits on Aug 28, 2026

Commits on Aug 29, 2026

Commits on Sep 2, 2026