feat(coinductive): oracle strategies and DynComputation-backed oracle machines - #498

Merged

dtumad merged 2 commits into

mainfrom

dtumad/oracle-machine-dyncomp

Jul 25, 2026

Commits on Jul 25, 2026

feat(coinductive): oracle strategies and DynComputation-backed oracle machines

dtumad
and
claude
committed
2a01028
Merge branch 'main' into dtumad/oracle-machine-dyncomp
dtumad
authored
5644bbd