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/interestusesv4.31.0

    Interest: a Lean library for financial mathematics

  2. AlexKontorovich/PrimeNumberTheoremAndusesv4.31.0

    Blueprint for the PNT+ Project