From 3f7103b8dabfd625c21e4ed8dd6a3d4bc63a7fba Mon Sep 17 00:00:00 2001 From: Floris van Doorn Date: Mon, 29 Apr 2024 15:53:23 +0200 Subject: [PATCH] add link to doc --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 2ed2a95..d7c7b30 100644 --- a/README.md +++ b/README.md @@ -4,6 +4,7 @@ For the course at Bonn SuSe 24. * We will use a private channel on the [Lean Zulip](https://leanprover.zulipchat.com/) to coordinate. * [Blueprint](http://florisvandoorn.com/BonnAnalysis/blueprint/) * [Blueprint as pdf](http://florisvandoorn.com/BonnAnalysis/blueprint.pdf) +* [Doc pages for this repository](http://florisvandoorn.com/BonnAnalysis/docs/) ## Installation