# Commit 2018-01-15 07:59 04cac958

View on Github →feat(data/real): reals from first principles
This is beginning work on a simpler implementation of real numbers, based on Cauchy sequences, to help alleviate some of the issues we have seen with loading times and timeouts when working with real numbers. If everything goes according to plan, `analysis/real.lean`

will be the development for the topology of the reals, but the initial construction will have no topology prerequisites.