Skip to content

D-EPI-COT C3: tactics run only on grounded, Epi5-eligible markers - #1841

Merged
AdaWorldAPI merged 8 commits into
ccr-39105428-bcm2m2-epi-cotfrom
ccr-39105428-bcm2m2-epi-cot-c3
Oct 28, 2026
Merged

D-EPI-COT C3: tactics run only on grounded, Epi5-eligible markers#1841
AdaWorldAPI merged 8 commits into
ccr-39105428-bcm2m2-epi-cotfrom
ccr-39105428-bcm2m2-epi-cot-c3

planner: a judgment reports the truth of its admitted proof

ace782d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar