No results found

computableReal

computable implementation of real numbers in Lean4
Sort by
  1. Git dependency.
    Found on Reservoir.

    mathlib2e4bea3

    The math library of Lean 4