Skip to content

Commit

Permalink
add link to doc
Browse files Browse the repository at this point in the history
  • Loading branch information
@fpvandoorn
fpvandoorn committed Apr 29, 2024
1 parent e51fcb9 commit 3f7103b
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down

0 comments on commit 3f7103b

Please sign in to comment.