doc: add missing double quotation mark

chabulhwi · Sep 15, 2024 · bc4395e · bc4395e
1 parent 4af9e3a
commit bc4395e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,7 +1,7 @@
 # tpil-solutions
 
 This is the repository for my solutions to the exercises in ["Theorem Proving in
-Lean 4][tpil] by [Jeremy Avigad][ja], [Leonardo de Moura][ldm], [Soonho
+Lean 4"][tpil] by [Jeremy Avigad][ja], [Leonardo de Moura][ldm], [Soonho
 Kong][sk] and [Sebastian Ullrich][su], with contributions from the [Lean
 Community][lean-comm]. You are free to reuse the content under the terms of
 [Apache License Version 2.0](./LICENSE).