Geeks
DanGrayson
/
dedekind-reals
A formalization of the Dedekind reals in Coq
Primary Language
Coq
dedekind-reals GitHub
Markdown
Readme
0
Issues
1
Stargazer
3
Watchers
Stargazers
bourbakis
Shanghai