girvingray-series

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

    intervald7bdfbb

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

    mathlib1437899

    The math library of Lean 4