Thunk force delay#80

Open

artisanbk wants to merge 10 commits intomasterfrom

Commits on Dec 19, 2025

add non-failing assumption to force-delay
tanyongkiam
committed

Commits on Dec 20, 2025

some progress
artisanbk
committed

Commits on Dec 23, 2025

dest_Tick y' case
artisanbk
committed

Commits on Dec 29, 2025

some progress
artisanbk
committed

Commits on Dec 30, 2025

fix some cheats
tanyongkiam
committed

Commits on Jan 1, 2026

some progress
artisanbk
committed

Commits on Jan 5, 2026

exp_rel_eval_to proof
artisanbk
committed

Commits on Jan 6, 2026

Merge remote-tracking branch 'origin/master' into thunk-force
artisanbk
committed

Commits on Jan 9, 2026