From 233ea06610adad363d63b00a0f4bf53b8308f60d Mon Sep 17 00:00:00 2001 From: Kaiyu Yang Date: Sun, 10 Dec 2023 12:53:06 -0800 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 470e179..93cd383 100644 --- a/README.md +++ b/README.md @@ -155,7 +155,7 @@ theorem mul_left_comm : ∀ a b c : G, a * (b * c) = b * (a * c) ## Acknowledgements -* We use the frontend of llmstep](https://github.com/wellecks/llmstep) for displaying tactics. +* We use the frontend of [llmstep](https://github.com/wellecks/llmstep) for displaying tactics. * We thank Scott Morrison for suggestions on simplifying Lean Copilot's installation and Mac Malone for helping implement it. Both Scott and Mac work for the [Lean FRO](https://lean-fro.org/). * We thank Jannis Limperg for integrating our LLM-generated tactics into Aesop (https://github.com/leanprover-community/aesop/pull/70).