girvingray-series

Power series arithmetic in Lean
Sort by
  1. Registry dependency.
    Found on Reservoir.

    interval9cf21df

    Conservative floating point interval arithmetic in Lean
  2. Registry dependency.
    Found on Reservoir.

    mathlib1437899

    The math library of Lean 4