dedekind-reals
dedekind-reals copied to clipboard
Published
20 hours ago •
coq-community
coq-community
A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]
Results
2
dedekind-reals issues
Sort by
recently updated
recently updated
newest added
This library is currently referenced in the Coq documentation for the reals, so I think it would be nice if it compiled with recent Coq versions. However, it looks like...
… and Dedekind reals
Metadata
43
Stars
6
Forks
Watchers
Owner
Metadata
A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]