Geeks
ReidAtcheson
/
constructive_analysis
Coq formalization of some constructive real analysis.
Primary Language
Coq
MIT License
MIT
constructive_analysis GitHub
Markdown
Readme
0
Issues
1
Stargazer
1
Watcher
constructive_analysis
Coq formalization of some constructive real analysis.