add doc

README.md

@@ -86,7 +86,10 @@ We try to preserve backward compatibility as best as we can.
 Each file is documented in its header
 ([documentation for the last version](https://math-comp.github.io/analysis/htmldoc_1_2_0/index.html), using [`coq2html`](https://github.com/xavierleroy/coq2html)).
 
-Overview presentation: [Classical Analysis with Coq](https://perso.crans.org/cohen/CoqWS2018.pdf) (2018)
+Overview presentations:
+- [Classical Analysis with Coq](https://perso.crans.org/cohen/CoqWS2018.pdf) (2018)
+- [A selection of links to well-known lemmas](https://github.com/math-comp/analysis/wiki/What's-where%3F)
+- [An Introduction to MathComp-Analysis](https://staff.aist.go.jp/reynald.affeldt/documents/karate-coq.pdf) (2024)
 
 See also "Related publication(s)" [above](https://github.com/math-comp/analysis#meta).