aleradLeanCert0.1.0

Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked
Displaying 1-2 of 2 packages depending on alerad/LeanCert
Sort by

  1. bjoernkjoshanssen/interestuses57777dd

    Interest: a Lean library for financial mathematics

  2. AlexKontorovich/PrimeNumberTheoremAndusesv4.30.0

    Blueprint for the PNT+ Project