ferric-certify v0.3.0 — Ferric: sound interval arithmetic and branch-and-bound certification. Proves a property holds over a continuous domain, or returns a counterexample — with outward rounding, so

Sign in to join the discussion — your thebay.events account works here.