rocq-community / dedekind-realsLinks

A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]
43Updated 10 months ago

Alternatives and similar repositories for dedekind-reals

Users that are interested in dedekind-reals are comparing it to the libraries listed below

Sorting: