diff --git a/README.md b/README.md index 06a5ff3..ca94be2 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,5 @@ # Lean Talk SP24 These are the files used in my talk titled "A (very) Brief Introduction to lean 4". + +[References](/references.md)