Timeroot / ComputableReal

computable implementation of real numbers in Lean4
34Updated 3 weeks ago

Alternatives and similar repositories for ComputableReal:

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