Add documentation section in README

AU-COBRA · Jul 10, 2024 · 2ed01dc · 2ed01dc
1 parent d498b7c
commit 2ed01dc
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -46,4 +46,6 @@ make install
 
 ## Documentation
 
-For documentation see [ConCert](https://github.com/AU-COBRA/ConCert)
+For documentation see [examples](/tests/theories/) and [generated CoqDoc](https://au-cobra.github.io/coq-elm-extraction/).
+
+Additional examples can be found in [ConCert](https://github.com/AU-COBRA/ConCert).