Update README.md: Add links

maggesi · web-flow · commit 48c4c326efa9 · 2024-10-25T15:14:59.000+02:00
diff --git a/README.md b/README.md
@@ -1,2 +1,2 @@
 # holms-lib.github.io
-Documentation website for HOLMS, a HOL Light Library for Modal Systems.
+Source code for the [documentation website](https://holms-lib.github.io/) of _[HOLMS](https://github.com/HOLMS-lib/HOLMS)_, a HOL Light Library for Modal Systems.

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`# holms-lib.github.io`
`2`		`-Documentation website for HOLMS, a HOL Light Library for Modal Systems.`
	`2`	`+Source code for the [documentation website](https://holms-lib.github.io/) of _[HOLMS](https://github.com/HOLMS-lib/HOLMS)_, a HOL Light Library for Modal Systems.`