Utm - #159

Open

crei wants to merge 11 commits into

mainfrom

Commits on Apr 30, 2026

Progress on utm.
crei
committed
5ebcb37
Semantics of copying out the symbols under the head.
crei
committed
0d05f71

Commits on May 4, 2026

Merge remote-tracking branch 'self/main' into utm
crei
committed
d3fd75c
Introduce encoding type.
crei
committed
9a4fa29

Commits on May 5, 2026

Merge remote-tracking branch 'self/main' into utm
crei
committed
6b64b45
Merge remote-tracking branch 'self/main' into utm
crei
committed
7d78344
fix merge.
crei
committed
17fcdb9
Simplify proof.
crei
committed
c7394a1
Semantics of getHeadSymbols.
crei
committed
c2c1101

Commits on May 7, 2026

Semantics of provideTransitionInput
crei
committed
ecf5daa

Commits on May 11, 2026

eval fun
crei
committed
e24da87