diff --git a/README.md b/README.md index ca94be2..25d501e 100644 --- a/README.md +++ b/README.md @@ -2,4 +2,4 @@ These are the files used in my talk titled "A (very) Brief Introduction to lean 4". -[References](/references.md) +[References](./references.md)