3 ms·
Maybe worth checking out if you want a formal (as in machine checkable) definition of reals: https://leanprover-community.github.io/mathlib-overview.html https
by deterministic 1y ago
Maybe worth checking out if you want a formal (as in machine checkable) definition of reals:
https://leanprover-community.github.io/mathlib-overview.html https://leanprover-community.github.io/mathlib-overview.html