probe(dr-math): finite-population evidence and counterexample refusal [2/5] - #1702

probe(dr-math): finite-population evidence and counterexample refusal [2/5]#1702

AdaWorldAPI merged 3 commits into

lab/dr-math-1-typed-binding-20261022AdaWorldAPI/lance-graph:lab/dr-math-1-typed-binding-20261022from

lab/dr-math-2-population-evidence-20261022AdaWorldAPI/lance-graph:lab/dr-math-2-population-evidence-20261022Copy head branch name to clipboard