Skip to content

refactor(MultiTapeTM): Rename TransitionOut to Action and its fields after the tapes - #827

Open
barni120400 wants to merge 1 commit into
leanprover:mainfrom
barni120400:multitape/action-names
Open

refactor(MultiTapeTM): Rename TransitionOut to Action and its fields after the tapes#827
barni120400 wants to merge 1 commit into
leanprover:mainfrom
barni120400:multitape/action-names

refactor(MultiTapeTM): Rename `TransitionOut` to `Action` and its fie…

1519cdf
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Aug 20, 2026 in 2s