dedekind-reals topic
List
dedekind-reals repositories
dedekind-reals
43
Stars
6
Forks
Watchers
A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]
