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
0
Watchers
constructive_analysis
Coq formalization of some constructive real analysis.