Bas Spitters (Oct 26 2020 at 14:47): Bas Spitters (Oct 26 2020 at 14:47):I notice that the documentation in the files is a bit scarce (at least compared to the excellent math-comp style).
https://github.com/math-comp/analysis
I'm also missing an overview of the library. I can click around, but it would be more convenient to have a small readme file describing what is where. Are there any plans for that?
Marie Kerjean (Nov 10 2020 at 09:59):Hi Bas, indeed there is not more documentation than (sometimes short) headers. The names of the files are self-descriptive otherwise. Do you have any specific questions which would help us understand what you need ?
Bas Spitters (Nov 10 2020 at 11:58):Far from perfect, but I think a readme like the one for math-classes could be useful
https://github.com/coq-community/math-classes
Reynald Affeldt (Nov 11 2020 at 15:37):it would be more convenient to have a small readme file describing what is where
We haven't done this so far because contents is still moving a bit from one file to another, and we also already foresee some changes in the near future. I guess we chose to improve the headers locally rather than maintaining a centralized documentation with our limited manpower. Yet following your remark we have added links to publications/slides/etc. in the readme. Some contain pictures that depict the library succinctly.
Last updated: Feb 05 2023 at 07:03 UTC