Hi. How can I cite this work?

You have these two papers:

Formalization Techniques for Asymptotic Reasoning in Classical Analysis doi:10.6092/issn.1972-5787/8124

Competing inheritance paths in dependent type theory---a case study in functional analysis doi:10.1007/978-3-030-51054-1_1

Found them but seems quit narrow w.r.t. what you can find in the lib

I once used this simple bib entry

```
@Misc{analysis,
author = {{MathComp-Analysis}},
title = {Mathematical Components compliant Analysis Library},
howpublished = {\url{https://github.com/math-comp/analysis}},
year = {2022},
note = {Since 2017. Version 0.5.1}
}
```

but I have been told that `{MathComp-Analysis}`

is not an author. :-/

maybe

```
@Misc{analysis,
author = {XYZ},
title = {{MathComp-Analysis}: Mathematical Components compliant Analysis Library},
howpublished = {\url{https://github.com/math-comp/analysis}},
year = {2022},
note = {Since 2017. Version 0.5.1}
}
```

where `XYZ`

is the list of authors in README.md is more appropriate

Last updated: Feb 09 2023 at 01:03 UTC