add link to docs

m4lvin · Jan 7, 2025 · 6f8ad87 · 6f8ad87
1 parent 11a403e
commit 6f8ad87
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -5,6 +5,10 @@
 
 [![Open in GitHub Codespaces](https://github.com/codespaces/badge.svg)](https://codespaces.new/m4lvin/lean4-pdl?quickstart=1)
 
+## Documentation
+
+<https://m4lvin.github.io/lean4-pdl/docs/>
+
 ## Module dependency overview
 
 ![Dependency graph](./dependencies.svg)