Timeroot / ComputableReal

computable implementation of real numbers in Lean4
33Updated this week

Alternatives and similar repositories for ComputableReal:

Users that are interested in ComputableReal are comparing it to the libraries listed below