add link to coqdoc

math-comp · Oct 2, 2023 · 31726ab · 31726ab
1 parent 6f732ca
commit 31726ab
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -80,6 +80,7 @@ own risk.
 ## Documentation
 
 Each file is documented in its header.
+[coqdoc presentation for the last version](https://math-comp.github.io/analysis/htmldoc_0_6_5/index.html).
 
 Changes are documented in [CHANGELOG.md](CHANGELOG.md) and
 [CHANGELOG_UNRELEASED.md](CHANGELOG_UNRELEASED.md).