dedekind-reals
A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]
43 stars
9 watching
6 forks
Language: Coq
last commit: 3 months ago coqdedekind-realsreal-analysis
A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]