Hybrid Verification Lab

Verify math claims with numeric sampling (offline) + optional CAS confirmation (online).

CHECK TYPE
LHS(x)
RHS(x)
variable
samples
a
b
tol
h (finite diff)
Numeric sampling is a falsification tool: if it fails, the claim is wrong; if it passes, it is strong evidence (not a proof).
OUTPUT
Ready.