Pure Standard ML interval arithmetic: outward-rounded operations, elementary functions, width/midpoint/contains, interval-Newton root enclosure (MLton + Poly/ML)
Released 41-tool Hermes adapter for JACKAL v1.7.3: exact, checked, bounded, formal-bounded, claim, structural, decision, program-evidence, and refusal-preserving routes.
Exact rational and certified interval arithmetic: enclosures that turn a computed inequality into a proof.
Open, fully rigorous re-certification of White's lower bound for Erdős's minimum-overlap problem (#36), with an independent verifier
Certified computation for the Lebesgue universal cover, opaque sets, and Fejes Toth's point-goalie problem. Exact rational and interval arithmetic.
Dense solver for general linear equality systems Ax=b with certified status classification: unique, infinite, inconsistent, or undecidable with a supported rank interval
To associate your repository with the verified-computation topic, visit your repo's landing page and select "manage topics."