Skip to content

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

Merged
AdaWorldAPI merged 3 commits into
lab/dr-math-1-typed-binding-20261022from
lab/dr-math-2-population-evidence-20261022
Oct 22, 2026
Merged

probe(dr-math): finite-population evidence and counterexample refusal [2/5]#1702
AdaWorldAPI merged 3 commits into
lab/dr-math-1-typed-binding-20261022from
lab/dr-math-2-population-evidence-20261022

probe(dr-math): refuted beats unknown; non-tautological population fi…

365b6c9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar