Merge branch 'y2review' of github.com:convince-project/scan into y2re…

…view Signed-off-by: Enrico Ghiorzi <[email protected]>
convince-project · Nov 18, 2024 · 30de444 · 30de444
2 parents edfd75c + c03ed7d
commit 30de444
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scan_book/src/README.md b/scan_book/src/README.md
@@ -7,4 +7,4 @@ for which standard verification techniques do not scale.
 SCAN is currently under developement at DIBRIS, University of Genoa (UniGe)
 in the context of the [CONVINCE project](https://convince-project.eu/).
 
-<!-- API docs for the library crates are hosted at [https://convince-project.github.io/scan/crates/scan](https://convince-project.github.io/scan/crates/scan). -->
+<a href="crates/scan/index.html">API docs for the library crates.</a>