From f8a13797753f3e1fb02c050e562699fdabe077ed Mon Sep 17 00:00:00 2001 From: Peiyang Song Date: Mon, 20 May 2024 18:03:57 -0700 Subject: [PATCH] Update demo --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 0c6626f..87c5832 100644 --- a/README.md +++ b/README.md @@ -5,7 +5,7 @@ Lean Copilot allows large language models (LLMs) to be used in Lean for proof au -https://github.com/lean-dojo/LeanCopilot/assets/5431913/7742545f-e194-45fa-b744-381bb3441840 +https://github.com/lean-dojo/LeanCopilot/assets/114432581/ee0f56f8-849e-4099-9284-d8092cbd22a3