Example translations of the v4.16.0-rc1 standard library module (Std) and Mathlib real numbers module (Mathlib.Data.Real.Basic) to Lean-.
Example translations of the v4.16.0-rc1 standard library module (Std) and Mathlib real numbers module (Mathlib.Data.Real.Basic) to Lean-.