Skip to content

refactor(OracleComp): make OracleComp/OracleQuery reducible over PolyFun - #490

Merged
dtumad merged 7 commits into
mainfrom
dtumad/reducible-oraclecomp
Jul 25, 2026
Merged

refactor(OracleComp): make OracleComp/OracleQuery reducible over PolyFun#490
dtumad merged 7 commits into
mainfrom
dtumad/reducible-oraclecomp

Merge branch 'main' into dtumad/reducible-oraclecomp

283f715
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar